Number of the records: 1
Title statement First-order logic / Raymond M. Smullyan Personal name Smullyan, Raymond M., 1919-2017 (author) Edition statement First published Publication New York : Dover Publications, Inc., 1995 Phys.des. xii, 158 stran ISBN 0-486-68370-2 (brožováno) Internal Bibliographies/Indexes Note Obsahuje bibliografii a rejstřík Subj. Headings predikátová logika predicate calculus * matematická logika mathematical logic Form, Genre studie studies Conspect 510 - Obecné úvahy o matematice UDC 510.6 , 510.635 , (048.8) Country Spojené státy americké Language angličtina Document kind Books 
book
Call number Barcode Location Sublocation Info M1/3428 (PřF) 3134043240 PřF PřF, Knihovna Date due 30 days M1/3428a (PřF) 3134043241 PřF PřF, KMI – Bc. Kolovratníková In-Library Use Only
Number of the records: 1