|
|
|
|
|
|
|
|
|
|
131. |
Logical foundations of proof complexity Cook, Stephen *1939-*. - 1. publ. - Ithaca, NY : Association of Symbolic Logic, 2010
|
|
|
|
132. |
Modal logic for open minds Benthem, Johan van *1949-*. - Stanford, Calif. : Center for the Study of Language and Information, 2010
|
|
|
|
133. |
Philosophy of syntax : foundational topics Tałasiewicz, Mieszko. - Dordrecht [u.a.] : Springer, 2010
|
|
|
|
134. |
Logic and philosophy of mathematics in the early Husserl Centrone, Stefania *1975-*. - Dordrecht [u.a.] : Springer, c2010
|
|
|
|
135. |
Diamond : a paradox logic Hellerstein, Nathaniel S.. - 2. ed. - Hackensack, NJ [u.a.] : World Scientific, 2010
|
|
|
|
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
|
|
|
|
137. |
A course in mathematical logic for mathematicians Manin, Jurij I. *1937-2023*. - 2. ed. - New York, NY [u.a.] : Springer, 2010
|
|
|
|
138. |
Mathematics and mathematical logic : new research Milosav, Peter. - New York, NY : Nova Science Publ., c 2010
|
|
|
|
139. |
Introduction to mathematical logic Mendelson, Elliott *1931-*. - 5. ed. - Boca Raton, Fla. [u.a.] : CRC Press, c 2010
|
|
|
|
140. |
Mathematical logic : foundations for information science Li, Wei *1943-*. - Basel : Birkhäuser, 2010
|
|
|
|
|
|
|
131 - 140 von 1222 |
|
Wort |
|
Typ |
|
Anzahl |
|
31.10 |
|
Basisklassifikation (XBKL) |
|
1223 |
|
|
|
|
|
|
|
131 - 140 von 1222 |
|
|