Number of the records: 1
Subsystems of second order arithmetic
Title statement Subsystems of second order arithmetic / Stephen G. Simpson Personal name Simpson, Stephen G., 1945- (author) Edition statement Second edition Publication Cambridge : Cambridge University Press, 2009 Copyright notice date ©2009 Phys.des. xvi, 444 stran ISBN 978-0-521-15014-9 (brožováno) Edition Perspectives in logic ; 1 Note Pod názvem: Association for Symbolic Logic "This digitally printed version 2010" -- Rub titulní strany Internal Bibliographies/Indexes Note Obsahuje bibliografii a rejstřík Another responsib. Association for Symbolic Logic Subj. Headings matematické modely mathematical models * aritmetika arithmetic * predikátová logika predicate calculus Form, Genre monografie monographs Conspect 519 - Kombinatorika. Teorie grafů. Matematická statistika. Operační výzkum. Matematické modelování UDC 511.1 , 164.2 , 510.635 , 519.673 , (048.8) Country Velká Británie Language angličtina Document kind Books 
book
Call number Barcode Location Sublocation Info M1/3310 (PřF) 3134042087 PřF PřF, KMI – Bc. Kolovratníková In-Library Use Only M1/3310a (PřF) 3134042935 PřF PřF, KMI – Bc. Kolovratníková In-Library Use Only
Number of the records: 1