Počet záznamů: 1
Computability and logic
Záhlaví-jméno Boolos, George, 1940-1996 (autor) Údaje o názvu Computability and logic / George S. Boolos, John P. Burgess, Richard C. Jeffrey Dal.odpovědnost Burgess, John P., 1948- (autor)
Jeffrey, Richard C., 1926-2002 (autor)
Údaje o vydání 4th ed. Vyd.údaje Cambridge : Cambridge University Press, c2002 Fyz.popis xi, 356 s. ISBN 0-521-00758-5 Poznámky Reprinted 2006 Předmět.hesla matematika logika matematická logika matematické funkce logické funkce teorie matematiky Konspekt 511 - Teorie čísel MDT 51 Země vyd. Velká Británie Jazyk dok. angličtina Počet ex. 1, z toho volných 1 Databáze Naučná literatura Signatura Přír.číslo Lokace Dislokace Info 78721 410517 Knihovna IV
Počet záznamů: 1