|
The four-color theorem Автор: Rudolf Fritsch Год: 1998 |
The virial theorem in stellar astrophysics Автор: Collins G.W. Год: 2003 |
Goal-Directed Proof Theory Автор: Gabbay D., Olivetti N. Год: 2000 |
S(zp, zp): Post-Structural Readings of Gödels Proof Автор: Roy Wagner Год: 2009 |
Proof Theory. An Introduction Автор: Wolfram Pohlers Год: 2002 |