 |
 |
|
|
 |
|
|
|
1 - 10 von 11
  |
|
 |
Ihre Aktion |
Suchen (Schlagwörter GND (Phrase) (XSP)) philosophische logik
eingrenzen (Basisklassifikation (XBKL)) 31.11
|
|
|
|
|
 |
1. |
Boolean reasoning : the logic of Boolean equations
Brown, Frank M.. - Boston [u.a.] : Kluwer Acad. Publ., 1990
|
|
|
|
2. |
Klassenlogische Syllogistik : e. geschlossenes Verbandssystem definiter Klassen
Platzeck, Erhard-Wolfram *1903-1985*. - Paderborn, München, Wien, Zürich : Schöningh, 1984
|
|
|
|
3. |
Choice sequences : a chapter of intuitionistic mathematics
Troelstra, Anne S. *1939-2019*. - Oxford [Eng.] : Clarendon Press, 1977
|
|
|
 |
4. |
Lambda-Calculus and Computer Science Theory : Proceedings of the Symposium held in Rome, March 25-27, 1975. IAC - CNR Istituto per le Applicazioni del Calcolo "Mauro Picone" of the Consiglio Nazionale delle Ricerche
Böhm, C.. - Berlin, Heidelberg : Springer Berlin Heidelberg, 1975
|
|
|
|
5. |
[Lambda]-calculus and computer science theory : proceedings of the symposium held in Rome, March 25 - 27, 1975
Böhm, Corrado *1923-2017*. - Online-Ausg.. - Berlin [u.a.] : Springer, 1975
|
|
|
|
6. |
[Lambda]-calculus and computer science theory : proceedings of the symposium held in Rome, March 25 - 27, 1975
Böhm, Corrado *1923-2017*. - Berlin : Springer, 1975
|
|
|
|
7. |
Toposes, Algebraic Geometry and Logic : Dalhousie University, Halifax, January 16–19, 1971
Bucur, Ion *1930-1976*. - Berlin, Heidelberg : Springer, 1972
|
|
|
|
8. |
Toposes, algebraic geometry and logic : Dalhousie University, Halifax, January 16-19, 1971
Lawvere, Francis William. - Berlin [u.a.] : Springer, 1972
|
|
|
|
9. |
Boolesche Funktionen und Postsche Klassen
Jablonskij, S. V. *1924-1998*. - Braunschweig [u.a.] : Vieweg [u.a.], 1970
|
|
|
|
10. |
Vollständige Systeme modaler und intuitionistischer Logik
Schütte, Kurt *1909-1998*. - Berlin : Springer, 1968
|
|
|
|
|
|
|
1 - 10 von 11
|
|
|
|
|
1 - 10 von 11
|
|
|
