 |
| | Suchergebnis | | | | | | | | | © | |
|
| | | |||||||||||||
|
 |
Suchgeschichte |  |
| |
|
Kurzliste | |
| |
|
Detailanzeige | |
|
|
|
|
|
|
|
|
||||||||||
|
|
|||||
______________ | ||||||
|
|
|
|||
|
1 - 10 von 79  |
| ||
 |
Ihre Aktion | Suchen (Systematiken (XSYS)) 03B10 |
||
| |
| |
| |
|
|
|
|
 |
1. |
Modern mathematical logic Mileti, Joseph. - Cambridge : Cambridge University Press, 2023 |
|
| |||
 |
2. |
Logic of the future / volume 1, History and applications : writings on existential graphs Peirce, Charles S. *1839-1914*. - Berlin : De Gruyter, Dezember 2019 
|
|
| |||
|
3. |
A first course in logic Lawson, Mark V.. - Boca Raton : CRC Press Taylor & Francis Group, [2019] |
|
| |||
|
4. |
Logik-Skript / 1, Wahrheit und logisches Schließen Brendel, Elke *1962-*. - [2018] |
|
| |||
|
5. |
Quantifikation des Prädikats und numerisch definiter Syllogismus : die Kontroverse zwischen Augustus De Morgan und William Hamilton: Formale Logik zwischen Algebra und Syllogistik Heinemann, Anna-Sophie *1982-*. - Münster : mentis, [2015] |
|
| |||
|
6. |
Intuitionism vs. classicism : a mathematical attack on classical logic Haverkamp, Nick. - Frankfurt am Main : Klostermann, 2015 |
|
| |||
|
7. |
Language, proof, and logic Barker-Plummer, Dave *1960-*. - 2nd ed. - Stanford, Calif. : CSLI Publ., 2011 |
|
| |||
|
8. |
Les démonstrations et les algorithmes : introduction à la logique et à la calculabilité Dowek, Gilles *1966-*. - Palaiseau : Les Éd. de L'École Polytechnique, 2010 |
|
| |||
|
9. |
A course in mathematical logic for mathematicians Manin, Jurij I. *1937-2023*. - 2. ed. - New York, NY [u.a.] : Springer, 2010
|
|
| |||
|
10. |
Introduction to mathematical logic Mendelson, Elliott *1931-*. - 5. ed. - Boca Raton, Fla. [u.a.] : CRC Press, c 2010
|
|
| |||
| ||||||||||||||||||||||||||
| ||||||||||||||||||||||||||
| ||||||||||||||||||||||||||
|
1 - 10 von 79 |
|
|
|
1 - 10 von 79 |
|
||||||||||||||||||||