 |
| | Suchergebnis | | | | | | | | | © | |
|
| | | |||||||||||||
|
 |
Suchgeschichte |  |
| |
|
Kurzliste | |
| |
|
Detailanzeige | |
|
|
|
|
|
|
|
|
||||||||||
|
|
|||||
______________ | ||||||
|
|
|
|||
|
1 - 10 von 10 |
| ||
 |
Ihre Aktion | Suchen (Schlagwörter GND (Phrase) (XSP)) teoria da demonstração eingrenzen (Basisklassifikation (XBKL)) 31.11 |
||
| |
| |
| |
|
|
|
|
 |
1. |
Algebra of proofs Szabo, Fred. - Amsterdam [u.a.] : North-Holland, 1978 |
|
| |||
 |
2. |
Intuitionism and proof theory : Proceedings of the summer conference ; Aug 1968 Kino, Akiko. - Amsterdam : North-Holland, 1970 |
|
| |||
|
3. |
Proof theory : the first step into impredicativity Pohlers, Wolfram *1943-*. - Berlin, Heidelberg : Springer, 2009 |
|
| |||
|
4. |
Theorems, corollaries, lemmas, and methods of proof Rossi, Richard J. *1956-*. - Hoboken, NJ : Wiley-Interscience, 2006 |
|
| |||
|
5. |
How to read and do proofs : an introduction to mathematical thought processes Solow, Daniel. - 4. ed. - Hoboken, NJ : Wiley, 2005 |
|
| |||
|
6. |
Structural proof theory Negri, Sara *1967-*. - 1. publ. - Cambridge [u.a.] : Cambridge Univ. Press, 2001 |
|
| |||
|
7. |
Proof theory : an introduction Pohlers, Wolfram *1943-*. - Berlin : Springer, 1989 |
|
| |||
|
8. |
Sets and proofs : invited papers from Logic Colloquium '97 - European Meeting of the Association for Symbolic Logic, Leeds, July 1997 Cooper, S. Barry. - Cambridge [u.a.] : Cambridge Univ. Press, 1999 |
|
| |||
|
9. |
100% mathematical proof Garnier, Rowan. - Chichester, West Sussex [u.a.] : Wiley, 1996 |
|
| |||
|
10. |
Einführung in die mathematische Logik Tarski, Alfred *1901-1983*. - 5. Aufl., erw. um den Beitr. "Wahrheit und Beweis". - Göttingen : Vandenhoeck & Ruprecht, 1977 |
|
| |||
| |||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||
|
1 - 10 von 10 |
|
|
|
1 - 10 von 10 |
|
|||||||||||||||||||||||||