Affiner votre recherche
Disponibilité
-
Auteurs
- Anshakov, O. M. (1)
- Conference in Mathem... (1)
- Gergely, T. (1)
- Hodges, Wilfrid (1)
- Monk, J. Donald (1)
- Müller, G. H. (1)
- Oberschelp, Arnold (1)
- Potthoff, Karl (1)
- Afficher plus
- Afficher moins
-
Sites de rattachement
-
Types de document
- Livre (4)
-
Collection
-
Sujets
- Calcul des prédicats (1)
- Cognitive science (1)
- Ensembles, Théorie d... (1)
- Informatique (1)
- Kongress (2)
- Kongreß (1)
- Logic, Symbolic and ... (5)
- Logica matematica (1)
- Logik (1)
- Logique symbolique e... (4)
- Mathematische Logik (3)
- Preuve, Théorie de l... (1)
- Reasoning (1)
- Sciences cognitives (1)
- Wiskundige logica (2)
- Afficher plus
- Afficher moins