- Accueil ›
- Résultats de recherche pour 'ccl=su:Logic, Symbolic and mathematical and ( (allrecords,AlwaysMatches='') and (not-onloan-count,st-numeric >= 1) and (lost,st-numeric=0) )'
Affiner votre recherche
Disponibilité
-
Auteurs
- Baldwin, John T. (1)
- Börger, Egon (1)
- Coecke, Bob (1)
- Dybjer, Peter (1)
- Edwards, Harold M. (1)
- Gergely, T. (1)
- Linsky, Bernard (1)
- Maddox, Randall (1)
- Maddox, Randall B. (1)
- Murawski, Roman (1)
- Oberschelp, Arnold (1)
- Oberschelp, Walter (1)
- Pasch, Moritz (1)
- Poggiolesi, Francesc... (1)
- Prest, Mike (1)
- Pumplun (1)
- Richter, Michael M. (1)
- Srivastava, S. M. (1)
- Tholen,, W. (1)
- Woleński, Jan (1)
- Afficher plus
- Afficher moins
-
Sites de rattachement
-
Types de document
- Livre (24)
-
Collection
- Applied logic series (1)
- Cognitive technologi... (1)
- Encyclopedia of math... (1)
- Graduate texts in ma... (1)
- Lecture notes in log... (1)
- Lecture notes in mat... (3)
- Lecture Notes in Mat... (2)
- Lecture notes in mat... (1)
- Poznań studies in th... (1)
- Publications of the ... (1)
- Synthese library (1)
- The Western Ontario ... (1)
- Trends in logic (1)
- Universitext (2)
- Afficher plus
- Afficher moins
-
Sujets
- Calculus (1)
- Categories (Mathemat... (2)
- Cognitive science (1)
- Electronic data proc... (1)
- Logic (2)
- Logic, Symbolic and ... (25)
- Logica matematica (1)
- Logik (1)
- Logique symbolique e... (4)
- Mathematics (10)
- Mathematische Logik (2)
- Modality (Logic) (1)
- Model theory (2)
- Programming language... (1)
- Proof theory (5)
- Proposition (Logic) (1)
- Set theory (2)
- Afficher plus
- Afficher moins