|
 |
|
|
|
1 - 10 von 45
  |
|
 |
Ihre Aktion |
suchen [und] sys \mat 320.300
|
|
|
|
|
 |
1. |
Compact companion / 3, Proof theory
/ Jervell, Herman Ruge *1945-*. - 2012
|
|
|
|
2. |
Proofs and computations
/ Schwichtenberg, Helmut *1942-*. - 1. publ. - Cambridge, UK [u.a.] : Cambridge Univ. Press [u.a.], 2012
|
|
|
|
3. |
Gödel's way : exploits into an undecidable world
/ Chaitin, Gregory J. *1947-*. - Boca Raton, FL : CRC Press, Taylor & Francis Group, c 2012
|
|
|
|
4. |
Generic inference : a unifying theory for automated reasoning
/ Pouly, Marc. - Hoboken, NJ : Wiley, 2011
|
|
|
|
5. |
Applied proof theory : proof interpretations and their use in mathematics
/ Kohlenbach, Ulrich Wilhelm. - Berlin : Springer, 2008
|
|
|
|
6. |
Techniques of constructive analysis
/ Bridges, Douglas S. *1945-*. - New York, NY : Springer, c 2006
|
|
|
|
7. |
Essays in constructive mathematics
/ Edwards, Harold M. *1936-2020*. - New York, NY : Springer, c2005
|
|
|
|
8. |
A structural account of mathematics
/ Chihara, Charles S.. - 1. publ. - Oxford [u.a.] : Clarendon Press, 2004
|
|
|
|
9. |
Identity of proofs
/ Widebäck, Filip. - Stockholm : Almqvist & Wiksell International, 2001
|
|
|
|
10. |
Basic proof theory
/ Troelstra, Anne S. *1939-2019*. - 2. ed. - Cambridge [u.a.] : Cambridge University Press, 2000
|
|
|
|
|
|
|
1 - 10 von 45
|
|
|
|
|
1 - 10 von 45
|
|
|
