Deutsch Englisch

______________

Speichern

Treffer filtern

Neue Suche

______________

Weitere Kataloge
und Datenbanken

Basisklassifikation

Historische Systematik
1501 - 1955

Lesesaal-
systematik

______________

Auskunft

Bibliothekskonto

Fernleihe

Anschaffungs-
vorschlag

______________

Datenschutz

Barrierefreiheit

Impressum
(Imprint)

131 - 140 von 1222
vorherige Seite      nächste Seite
* Ihre Aktion  Suchen 31.10 (Mathematische Logik, Mengenlehre)
Bücher 131.  Logical foundations of proof complexity
Cook, Stephen *1939-*. - 1. publ. - Ithaca, NY : Association of Symbolic Logic, 2010
Bücher 132.  Modal logic for open minds
Benthem, Johan van *1949-*. - Stanford, Calif. : Center for the Study of Language and Information, 2010
Bücher 133.  Philosophy of syntax : foundational topics
Tałasiewicz, Mieszko. - Dordrecht [u.a.] : Springer, 2010
Bücher 134.  Logic and philosophy of mathematics in the early Husserl
Centrone, Stefania *1975-*. - Dordrecht [u.a.] : Springer, c2010
Bücher 135.  Diamond : a paradox logic
Hellerstein, Nathaniel S.. - 2. ed. - Hackensack, NJ [u.a.] : World Scientific, 2010
Bücher 136.  Einführung in die Mengenlehre : die Mengenlehre Georg Cantors und ihre Axiomatisierung durch Ernst Zermelo
Deiser, Oliver *1971-*. - 3., korr. Aufl. - Berlin : Springer, 2010
Bücher 137.  A course in mathematical logic for mathematicians
Manin, Jurij I. *1937-2023*. - 2. ed. - New York, NY [u.a.] : Springer, 2010Zusammenfassung
Bücher 138.  Mathematics and mathematical logic : new research
Milosav, Peter. - New York, NY : Nova Science Publ., c 2010
Bücher 139.  Introduction to mathematical logic
Mendelson, Elliott *1931-*. - 5. ed. - Boca Raton, Fla. [u.a.] : CRC Press, c 2010Zusammenfassung
Bücher 140.  Mathematical logic : foundations for information science
Li, Wei *1943-*. - Basel : Birkhäuser, 2010
131 - 140 von 1222
vorherige Seite      nächste Seite
Wort   Typ   Anzahl
31.10 Basisklassifikation (XBKL) 1223
 
131 - 140 von 1222
vorherige Seite      nächste Seite