Number of the records: 1
Metamathematics of First-Order Arithmetic
- 1.0401861 - UIVT-O 930005 DE eng B - Monography
Hájek, Petr - Pudlák, Pavel
Metamathematics of First-Order Arithmetic.
Berlin: Springer-Verlag, 1993. 460 s. Perspectives in Mathematical Logic. ISBN 3-540-50632-2
Keywords : mathematical logic
Result website:http://aleph.lib.cas.cz/F/?func=direct&doc_number=000124306&local_base=AV
Permanent Link: http://hdl.handle.net/11104/0122295
Number of the records: 1