Affiner votre recherche
Disponibilité
-
Auteurs
- Diller,, Justus (1)
- ISILC Proof Theory S... (1)
- Müller, G. H. (1)
- Müller,, G. H. (1)
- Oberschelp, Arnold (1)
- Potthoff, Karl (1)
- Schütte, K. (1)
- Afficher plus
- Afficher moins
-
Sites de rattachement
-
Types de document
- Livre (2)
-
Collection
-
Sujets
- Beweistheorie (1)
- Bibliographie (1)
- Ensembles, Théorie d... (1)
- Kongreß (2)
- Kongress (1)
- Logic, Symbolic and ... (2)
- Logica matematica (1)
- Logik (2)
- Logique symbolique e... (1)
- Mathematische Logik (2)
- Preuve, Théorie de l... (1)
- Proof theory (1)
- Set theory (2)
- Afficher plus
- Afficher moins