 |
| | Suchergebnis | | | | | | | | | © | |
|
| | | |||||||||||||
|
 |
Suchgeschichte |  |
| |
|
Kurzliste | |
| |
|
Detailanzeige | |
|
|
|
|
|
|
|
|
||||||||||
|
|
|||||
______________ | ||||||
|
|
|
|||
|
1 - 10 von 46  |
| ||
 |
Ihre Aktion | Suchen (Systematiken (XSYS)) 03B25 |
||
| |
| |
| |
|
|
|
|
 |
1. |
Turing's vision : the birth of computer science Bernhardt, Chris. - Cambridge, Massachusetts : The MIT Press, [2016] |
|
| |||
|
2. |
Les démonstrations et les algorithmes : introduction à la logique et à la calculabilité Dowek, Gilles *1966-*. - Palaiseau : Les Éd. de L'École Polytechnique, 2010 |
|
| |||
|
3. |
A course in mathematical logic for mathematicians Manin, Jurij I. *1937-2023*. - 2. ed. - New York, NY [u.a.] : Springer, 2010 
|
|
| |||
|
4. |
Mathematical logic : foundations for information science Li, Wei *1943-*. - Basel : Birkhäuser, 2010 |
|
| |||
 |
5. |
Logic and automata : history and perspectives Grädel, Erich. - Online-Ausg.. - Amsterdam : Amsterdam University Press, 2008
|
|
| |||
|
6. |
Computability and logic Boolos, George *1940-1996*. - Fifth edition. - Cambridge : Cambridge University Press, 2007
|
|
| |||
|
7. |
Computability and logic Boolos, George *1940-1996*. - 5. ed. - Cambridge [u.a.] : Cambridge Univ. Press, 2007 |
|
| |||
|
8. |
Many-dimensional modal logics : theory and applications Gabbay, Dov M.. - 1st ed. Online-Ausg.]. - Amsterdam : Elsevier North Holland, 2003 |
|
| |||
|
9. |
Many-dimensional modal logics : theory and applications Gabbay, Dov M. *1945-*. - 1. ed. - Amsterdam : Elsevier, 2003 |
|
| |||
|
10. |
Computability and logic Boolos, George. - Fourth edition. - Cambridge : Cambridge University Press, 2002
|
|
| |||
| ||||||||||||||||||||||||||
| ||||||||||||||||||||||||||
| ||||||||||||||||||||||||||
|
1 - 10 von 46 |
|
|
|
1 - 10 von 46 |
|
||||||||||||||||||||