Refine your search
Availability
-
Authors
- Beth, Evert Willem
- Curry, Haskell B.
- Dekker, Jacob C. E.
- Dequoy, Nicole
- Diego, Antonio
- Dubarle, Dominique
- Fraissé, Roland
- Freudenthal, Hans
- Fréchet, Maurice
- Grzegorczyk, Andrzej
- Henkin, Leon
- Heyting, A.
- Kalmár, Lázló
- McNaughton, Robert
- Mooij, J. J. A.
- Porte, Jean
- Robinson, Abraham
- Rosser, J. Barkley
- Wang, Hao
- Show more
- Show less
-
Collections
-
Holding libraries
-
Item types
-
Locations
-
Series
- Collection de logiqu...
- Collection de logiqu...
- Collection de logiqu...
- Collection de logiqu...
- Collection de logiqu...
- Collection de logiqu...
- Collection de logiqu...
- Collection de logiqu...
- Collection de logiqu...
- Collection de logiqu...
- Collection de logiqu...
- Collection de logiqu...
- Show more
- Show less
-
Topics
- Algebra, Abstract
- Automata
- Calculus
- Ciencia Da Computaca...
- Computers
- Electronic digital c...
- Filosofia e Fundamen...
- Functional analysis
- Geometry, Projective
- Ideals (Algebra)
- Logic, Symbolic and ...
- Logica
- Logique symbolique e...
- Mathematical linguis...
- Mathematics
- Metamathematics
- Recursive functions
- Set theory
- Show more
- Show less