|
Goal-Directed Proof Theory Автор: Gabbay D., Olivetti N. Год: 2000 |
The four-color theorem Автор: Rudolf Fritsch Год: 1998 |
S(zp, zp): Post-Structural Readings of Gödels Proof Автор: Roy Wagner Год: 2009 |
Formal Pragmatics Автор: Nirit Kadmon Год: 2001 |
Proof Theory. An Introduction Автор: Wolfram Pohlers Год: 2002 |
Formal Semantics Автор: Paul H. Portner Год: 2008 |