 |
 |
|
|
 |
|
|
|
|
 |
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. |
Handbook of set theory ; Vol. 3
Foreman, Matthew. - 2010
|
|
|
|
7. |
Handbook of set theory ; Vol. 2
Foreman, Matthew. - 2010
|
|
|
|
8. |
Handbook of set theory ; Vol. 1
Foreman, Matthew. - 2010
|
|
|
|
9. |
Einführung in die Mengenlehre : die Mengenlehre Georg Cantors und ihre Axiomatisierung durch Ernst Zermelo
Deiser, Oliver *1971-*. - 3., korr. Aufl. - Berlin : Springer, 2010
|
|
|
|
10. |
Proof theory : the first step into impredicativity
Pohlers, Wolfram *1943-*. - Berlin, Heidelberg : Springer, 2009
|
|
|
|
|
|
|
1 - 10 von 324
  |
|
| Wort |
|
Typ |
|
Anzahl |
|---|
|
| 31.11 |
|
Basisklassifikation (XBKL) |
|
325 |
|
|
|
|
|
|
|
1 - 10 von 324
|
|
|
