Affiner votre recherche
Disponibilité
-
Auteurs
- Börger, E. (1)
- Crossley, John N. (3)
- Dalen, D. van (2)
- Gandy, R. O. (2)
- Heyting, A. (1)
- Kuratowski, Kazimier... (2)
- Luschei, Eugene C. (1)
- Macintyre, Angus (1)
- Marcja, A. (1)
- Mostowski, Andrzej (3)
- Nagel, Ernest (1)
- Pacholski, Leszek (1)
- Paris, J. B. (2)
- Prawitz, Dag (1)
- Robinson, Abraham (2)
- Skolem, Th (1)
- Suppes, Patrick (3)
- Tarski, Alfred (2)
- Wang, Hao (1)
- Wicks, M. J. (1)
- Afficher plus
- Afficher moins
-
Types de document
- Ebook (42)
-
Collection
-
Sujets
- Fonctions calculable... (1)
- Inference (1)
- Logic, Symbolic and ... (63)
- Logique symbolique e... (22)
- MATHEMATICS (6)
- Mathematics (1)
- MATHEMATICS / Genera... (2)
- MATHEMATICS / Infini... (3)
- MATHEMATICS / Logic (3)
- Methodology (2)
- Méthodologie (2)
- Nonstandard mathemat... (2)
- Recursive functions (2)
- Science (4)
- Sciences (2)
- Semantics (Philosoph... (2)
- Set theory (3)
- Wiskundige logica (2)
- Afficher plus
- Afficher moins