 |
| | Suchergebnis | | | | | | | | | © | |
|
| | | |||||||||||||
|
 |
Suchgeschichte |  |
| |
|
Kurzliste | |
| |
|
Detailanzeige | |
|
|
|
|
|
|
|
|
||||||||||
|
|
|||||
______________ | ||||||
|
|
|
|||
|
1 - 10 von 17  |
| ||
 |
Ihre Aktion | Suchen (Systematiken (XSYS)) 03E20 |
||
| |
| |
| |
|
|
|
|
 |
1. |
Language, proof, and logic Barker-Plummer, Dave *1960-*. - 2nd ed. - Stanford, Calif. : CSLI Publ., 2011 |
|
| |||
 |
2. |
Set theory, arithmetic, and foundations of mathematics : theorems, philosophies Kennedy, Juliette *1955-*. - Cambridge : Cambridge University Press, 2011. 
|
|
| |||
|
3. |
Set theory, arithmetic, and foundations of mathematics : theorems, philosophies Kennedy, Juliette *1955-*. - 1. publ. - Cambridge [u.a.] : Cambridge Univ. Press [u.a.], 2011
|
|
| |||
|
4. |
Louis Couturat - traité de logique algorithmique Schlaudt, Oliver. - Basel : Birkhäuser, 2010 |
|
| |||
|
5. |
The mathematics of infinity : a guide to great ideas Faticoni, Theodore G. *1954-*. - Hoboken, NJ. : Wiley-Interscience, c 2006 |
|
| |||
|
6. |
Einführung in die Mengenlehre Ebbinghaus, Heinz-Dieter *1939-*. - 4. Aufl. - Heidelberg : Spektrum, Akad. Verl., 2003 |
|
| |||
|
7. |
Sets for mathematics Lawvere, Francis W. *1937-2023*. - 1. publ. - Cambridge [u.a.] : Cambridge Univ. Press, 2003 |
|
| |||
|
8. |
Theory of relations Fraïssé, Roland. - Rev. ed. Online-Ausg.]. - Amsterdam : Elsevier, 2000 |
|
| |||
|
9. |
Theory of relations : revised edition Fraïssé, Roland. - 1. ed. - Amsterdam [u.a.] : Elsevier, 2000 |
|
| |||
|
10. |
Discrete mathematics : proof techniques and mathematical structures Penner, Robert C.. - Singapore [u.a.] : World Scientific, 1999 |
|
| |||
| ||||||||||||||||||||||||||
| ||||||||||||||||||||||||||
| ||||||||||||||||||||||||||
|
1 - 10 von 17 |
|
|
|
1 - 10 von 17 |
|
||||||||||||||||||||