|
The four-color theorem Автор: Rudolf Fritsch Год: 1998 |
The four color theorem Автор: Fritsch R., Fritsch G. Год: 1998 |
Proof and Knowledge in Mathematics Автор: Detlefsen M. (Ed) Год: 1992 |
Proof Theory Автор: Wolfram Pohlers Год: 1990 |
Proof Theory. An Introduction Автор: Wolfram Pohlers Год: 2002 |
S(zp, zp): Post-Structural Readings of Gödels Proof Автор: Roy Wagner Год: 2009 |