Search results
on logic. Zürich, Switzerland: European Mathematical Society. ISBN 978-3-03719-088-3. OCLC 757486610. Official website Jean-Yves Girard at the Mathematics...4 KB (292 words) - 22:50, 25 April 2024- Blind Spot: Lectures on Logic. European Mathematical Society. ISBN 9783037190883. Glanzberg, Michael (2015). "Complexity and hierarchy in truth predicates"...13 KB (1,670 words) - 06:58, 29 March 2024
