|
 |
|
|
|
1 - 10 von 136
  |
|
 |
Ihre Aktion |
suchen [und] sys \mat 322?
|
|
|
|
|
 |
1. |
Logical methods
/ Restall, Greg *1969-*. - Cambridge, Massachusetts : The MIT Press, [2023]
|
|
|
|
2. |
Descriptive complexity, canonisation, and definable graph structure theory
/ Grohe, Martin *1967-*. - Cambridge : Cambridge University Press, 2017
|
|
|
|
3. |
Higher-order computability
/ Longley, John. - Heidelberg : Springer, [2015]
|
|
|
 |
4. |
Logic, computation, hierarchies
/ Brattka, Vasco. - Online-Ausg.. - Boston : De Gruyter, 2014
|
|
|
|
5. |
A course in model theory
/ Tent, Katrin *1963-*. - Cambridge [u.a.] : Cambridge University Press, 2012
|
|
|
|
6. |
Combinatorial set theory : with a gentle introduction to forcing
/ Halbeisen, Lorenz J.. - London [u.a.] : Springer, 2012
|
|
|
|
7. |
A course on set theory
/ Schimmerling, Ernest. - 1. publ. - Cambridge [u.a.] : Cambridge University Press, 2011
|
|
|
|
8. |
Algebraic logic
/ Gindikin, Semen G. *1937-*. - Softcover repr. of the hardcover 1. ed. 1985. - New York, NY : Springer, [2011]
|
|
|
|
9. |
Zariski geometries : geometry from the logician's point of view
/ Zilber, Boris. - Cambridge [u.a.] : Cambridge University Press, 2010
|
|
|
|
10. |
Uncertainty theory : a branch of mathematics for modeling human uncertainty
/ Liu, Baoding *1965-*. - Berlin : Springer, 2010
|
|
|
|
|
|
|
1 - 10 von 136
|
|
| Wort |
|
Typ |
|
Anzahl |
|---|
|
| \mat 322? |
|
[SYS] Systematiken |
|
819 |
|
|
|
|
|
|
|
1 - 10 von 136
|
|
|
