 |
| | Suchergebnis | | | | | | | | | © | |
|
| | | |||||||||||||
|
 |
Suchgeschichte |  |
| |
|
Kurzliste | |
| |
|
Detailanzeige | |
|
|
|
|
|
|
|
|
||||||||||
|
|
|||||
______________ | ||||||
|
|
|
|||
|
1 - 4 von 4 |
| ||
 |
Ihre Aktion | Suchen (Schlagwörter GND (Phrase) (XSP)) zahlenlehre eingrenzen (Basisklassifikation (XBKL)) 31.10 |
||
| |
| |
| |
|
|
|
|
 |
1. |
Foundations of logic and mathematics : applications to computer science and cryptography Nievergelt, Yves *1954-*. - Boston [u.a.] : Birkhäuser, 2002 |
|
| |||
|
2. |
On numbers and games Conway, John Horton *1937-2020*. - London [u.a.] : Academic Pr., 1976 |
|
| |||
 |
3. |
Tableau Systems for First Order Number Theory and Certain Higher Order Theories Toledo, Sue. - Berlin, Heidelberg : Springer Berlin Heidelberg, 1975 
|
|
| |||
|
4. |
Tableau systems for first order number theory and certain higher order theories Toledo, Sue. - Berlin [u.a.] : Springer, 1975 |
|
| |||
| |||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||
|
1 - 4 von 4 |
|
|
|
1 - 4 von 4 |
|
|||||||||||||||||||||||||