Refine your search
Availability
-
Authors
- Bernays, Paul (1)
- Beth, E W [series e... (2)
- Beth, E W (sr. ed.) (1)
- Beth, E. W. (1)
- Beth, Evert W (2)
- Braffort, P. (1)
- Brouwer, L. E. J. (2)
- Fitting, Melvin Chri... (1)
- Goodstein, R. L. (1)
- Heyting, A [series ... (2)
- Heyting, A (sr. ed.) (1)
- Heyting, A. (1)
- Hirschberg, D. (1)
- Lakatos, Imre (1)
- Leblanc, Hugues (1)
- Luschei, Eugene C. (1)
- Moschovakis, Yiannis... (1)
- Proceedings of the c... (2)
- Show more
- Show less
-
Holding libraries
-
Home libraries
-
Item types
-
Series
-
Topics
- Arithmetic -- Founda... (1)
- Axiomatic set theory (1)
- Computer programming (1)
- Elementary axiomatic... (2)
- Inductive logic (1)
- Intuitionistic logic (1)
- Intuitionistic mathe... (1)
- Logic, Symbolic and ... (2)
- Logic, Symbolic and ... (1)
- Mathematics (1)
- Mathematics - Constr... (2)
- Mathematics - histor... (2)
- Mathematics - scienc... (2)
- Mathematics--Philoso... (1)
- Mathematics-philosop... (1)
- Number theory (1)
- Recursion theory (1)
- Semantics (Philosoph... (1)
- Semantics -- Congres... (1)
- Semantics -- Philoso... (1)
- Show more
- Show less