TY  - BOOK
AU  - Wille,Matthias
TI  - Beweis und Reflexion: philosophische Untersuchungen über die Grundlagen beweistheoretischer Praxen
SN  - 9783897856059
PY  - 2008///
CY  - Paderborn
PB  - Mentis
KW  - метаматематика
KW  - математическая логика
KW  - теория доказательств
N1  - Literatur: S. [247]-262; Register: S. [263]-267
ER  -