Počet záznamů: 1
Subsystems of second order arithmetic
Údaje o názvu Subsystems of second order arithmetic / Stephen G. Simpson Osobní jméno Simpson, Stephen G., 1945- (autor) Údaje o vydání Second edition Nakladatel Cambridge : Cambridge University Press, 2009 Copyright ©2009 Fyz.popis xvi, 444 stran ISBN 978-0-521-15014-9 (brožováno) Edice Perspectives in logic ; 1 Poznámka Pod názvem: Association for Symbolic Logic "This digitally printed version 2010" -- Rub titulní strany Poznámky o skryté bibliografii a rejstřících Obsahuje bibliografii a rejstřík Dal.odpovědnost Association for Symbolic Logic Předmět.hesla matematické modely mathematical models * aritmetika arithmetic * predikátová logika predicate calculus Forma, žánr monografie monographs Konspekt 519 - Kombinatorika. Teorie grafů. Matematická statistika. Operační výzkum. Matematické modelování MDT 511.1 , 164.2 , 510.635 , 519.673 , (048.8) Země vyd. Velká Británie Jazyk dok. angličtina Druh dok. Knihy 
kniha
Signatura Čár.kód Lokace Dislokace Info M1/3310 (PřF) 3134042087 PřF PřF, KMI – Bc. Kolovratníková pouze prezenčně M1/3310a (PřF) 3134042935 PřF PřF, KMI – Bc. Kolovratníková pouze prezenčně
Počet záznamů: 1