|
 |
|
|
|
|
 |
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
Stanković, 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
|
|
|
