Počet záznamů: 1  

Metamathematics of First-Order Arithmetic

  1. 1.
    Hájek, P., Pudlák, P. Metamathematics of First-Order Arithmetic. Berlin: Springer-Verlag, 1993. Perspectives in Mathematical Logic. ISBN 3-540-50632-2. Dostupné z: http://aleph.lib.cas.cz/F/?func=direct&doc_number=000124306&local_base=AV

Počet záznamů: 1