Počet záznamů: 1  

Metamathematics of First-Order Arithmetic

  1. 1.
    0401861 - UIVT-O 930005 DE eng B - Monografie kniha jako celek
    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
    Klíčová slova: mathematical logic
    Web výsledku:
    http://aleph.lib.cas.cz/F/?func=direct&doc_number=000124306&local_base=AV
    Trvalý link: http://hdl.handle.net/11104/0122295
     

Počet záznamů: 1  

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.