Number of the records: 1
Metamathematics of First-Order Arithmetic
- 1.
SYSNO ASEP 0401861 Document Type B - Monograph R&D Document Type The record was not marked in the RIV Title Metamathematics of First-Order Arithmetic Author(s) Hájek, Petr (UIVT-O) RID, SAI
Pudlák, Pavel (MU-W) RID, SAIIssue data Berlin: Springer-Verlag, 1993 ISBN 3-540-50632-2 Series Perspectives in Mathematical Logic Number of pages 460 s. Language eng - English Country DE - Germany Keywords mathematical logic EID SCOPUS 85047351487 Workplace Institute of Computer Science Contact Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800 Year of Publishing 1920
Number of the records: 1