|
S(zp, zp): Post-Structural Readings of Gödels Proof Автор: Roy Wagner Год: 2009 |
Goal-Directed Proof Theory Автор: Gabbay D., Olivetti N. Год: 2000 |
The four-color theorem Автор: Rudolf Fritsch Год: 1998 |
The four-color theorem Автор: Rudolf Fritsch Год: 1998 |
The four color theorem Автор: Fritsch R., Fritsch G. Год: 1998 |