|
 |
|
|
|
1 - 10 von 29
  |
|
 |
Ihre Aktion |
suchen [und] sys \mat 322.200
|
|
|
|
|
 |
1. |
Logical methods
/ Restall, Greg *1969-*. - Cambridge, Massachusetts : The MIT Press, [2023]
|
|
|
|
2. |
A course in model theory
/ Tent, Katrin *1963-*. - Cambridge [u.a.] : Cambridge University Press, 2012
|
|
|
|
3. |
Zariski geometries : geometry from the logician's point of view
/ Zilber, Boris. - Cambridge [u.a.] : Cambridge University Press, 2010
|
|
|
|
4. |
Elements of finite model theory
/ Libkin, Leonid. - Berlin : Springer, 2004
|
|
|
 |
5. |
Mathematische Mustererkennung und Hidden Markov Modelle
/ Willert, Lars. - [Electronic ed.]. - 2003
|
|
|
|
6. |
Model theory : an introduction
/ Marker, David *1958-*. - New York : Springer, 2002
|
|
|
|
7. |
Introduction to model theory
/ Rothmaler, Philipp. - Amsterdam : Gordon & Breach Science Publ., 2000
|
|
|
|
8. |
A course in model theory : an introduction to contemporary mathematical logic
/ Poizat, Bruno *1946-*. - New York : Springer, 2000
|
|
|
|
9. |
Finite model theory
/ Ebbinghaus, Heinz-Dieter *1939-*. - Berlin : Springer, 1995
|
|
|
|
10. |
The logic of partial information
/ Nait Abdallah, Areski. - Berlin : Springer, 1995
|
|
|
|
|
|
|
1 - 10 von 29
|
|
|
|
|
1 - 10 von 29
|
|
|
