Affiner votre recherche
Disponibilité
-
Auteurs
- Crossley, John N. (3)
- Dalen, D. van (2)
- Edwards, Harold M. (1)
- Gandy, R. O. (3)
- Kuratowski, Kazimier... (2)
- Macintyre, Angus (1)
- Marcja, A. (1)
- Meulen, Alice G. B. ... (1)
- Mostowski, Andrzej (3)
- Nagel, Ernest (1)
- Paris, J. B. (2)
- Prawitz, Dag (1)
- Pumplun (1)
- Richter, Michael M. (1)
- Robinson, Abraham (2)
- Skolem, Th (1)
- Srivastava, S. M. (1)
- Suppes, Patrick (3)
- Tarski, Alfred (2)
- Wicks, M. J. (1)
- Afficher plus
- Afficher moins
-
Sites de rattachement
-
Types de document
-
Collection
- Annals of discrete m... (1)
- Cambridge tracts in ... (1)
- Cognitive technologi... (1)
- Collected works of A... (1)
- Encyclopedia of math... (1)
- Graduate texts in ma... (1)
- Lecture notes in log... (1)
- Lecture notes in mat... (3)
- Lecture notes in mat... (1)
- Mathematics in scien... (1)
- North-Holland mathem... (1)
- Publications of the ... (1)
- Studies in logic and... (31)
- Studies in Logic and... (10)
- Studies in logic and... (1)
- Synthese library (1)
- The Western Ontario ... (1)
- Afficher plus
- Afficher moins
-
Sujets
- Logic, Symbolic and ... (103)
- Logica (3)
- Logica matematica (3)
- Logique symbolique e... (32)
- Mathematics (10)
- MATHEMATICS (9)
- MATHEMATICS / Genera... (3)
- MATHEMATICS / Logic (3)
- Mathematische Logik (3)
- Modality (Logic) (2)
- Nonstandard mathemat... (2)
- Proof theory (5)
- Recursive functions (2)
- Science (4)
- Semantics (Philosoph... (3)
- Set theory (9)
- Wiskundige logica (4)
- Afficher plus
- Afficher moins