|
|
|
|
|
|
|
1. |
Towards a general theory of classifications Parrochia, Daniel *1951-*. - Basel : Birkhäuser, 2013
|
|
|
|
2. |
Independence-friendly logic : a game-theoretic approach Mann, Allen L.. - Cambridge : Cambridge University Press, 2011.
|
|
|
|
3. |
Independence-friendly logic : a game-theoretic approach Mann, Allen L.. - 1. publ. - Cambridge [u.a.] : Cambridge Univ. Press, 2011
|
|
|
|
4. |
From Boolean Logic to switching circuits and automata : towards modern information technology Stankovic, Radomir S. *1952-*. - 1. Aufl. - Berlin : Springer, 2011
|
|
|
|
5. |
Fundamentals of mathematics : an introduction to proofs, logic, sets, and numbers Schröder, Bernd S. W. *1966-*. - Hoboken, New Jersey : Wiley, 2010
|
|
|
|
6. |
Model theory for infinitary logic : logic with countable conjunctions and finite quantifiers Keisler, H. Jerome *1936-*. - Online-Ausg.. - Amsterdam : North-Holland Pub. Co, 2010
|
|
|
|
7. |
Handbook of set theory ; Vol. 3 Foreman, Matthew. - 2010
|
|
|
|
8. |
Handbook of set theory ; Vol. 2 Foreman, Matthew. - 2010
|
|
|
|
9. |
Handbook of set theory ; Vol. 1 Foreman, Matthew. - 2010
|
|
|
|
10. |
Einführung in die Mengenlehre : die Mengenlehre Georg Cantors und ihre Axiomatisierung durch Ernst Zermelo Deiser, Oliver *1971-*. - 3., korr. Aufl. - Berlin : Springer, 2010
|
|
|
|
|
|
|
1 - 10 of 326 |
|
Word |
|
Type |
|
Count |
|
31.11 |
|
Basic classification (XBKL) |
|
327 |
|
|
|
|
|
|
|
1 - 10 of 326 |
|
|