Počet záznamů: 1
Údaje o názvu First-order logic / Raymond M. Smullyan Osobní jméno Smullyan, Raymond M., 1919-2017 (autor) Údaje o vydání First published Nakladatel New York : Dover Publications, Inc., 1995 Fyz.popis xii, 158 stran ISBN 0-486-68370-2 (brožováno) Poznámky o skryté bibliografii a rejstřících Obsahuje bibliografii a rejstřík Předmět.hesla predikátová logika predicate calculus * matematická logika mathematical logic Forma, žánr studie studies Konspekt 510 - Obecné úvahy o matematice MDT 510.6 , 510.635 , (048.8) Země vyd. Spojené státy americké Jazyk dok. angličtina Druh dok. Knihy 
kniha
Signatura Čár.kód Lokace Dislokace Info M1/3428 (PřF) 3134043240 PřF PřF, Knihovna Doba výp. 30 dní M1/3428a (PřF) 3134043241 PřF PřF, KMI – Bc. Kolovratníková pouze prezenčně
Počet záznamů: 1