Počet záznamů: 1
Computability and logic
Údaje o názvu Computability and logic / George S. Boolos, John P. Burgess, Richard C. Jeffrey Osobní jméno Boolos, George, 1940-1996 (autor) Údaje o vydání Fifth edition Nakladatel Cambridge : Cambridge University Press, 2007 Fyz.popis xiii, 350 stran : ilustrace ISBN 978-0-521-70146-4 (brožováno) Poznámka Zpracováno dle dotisku 3134043020 - dotisk 2010 Poznámky o skryté bibliografii a rejstřících Obsahuje bibliografii a rejstřík Dal.odpovědnost Burgess, John P., 1948- (autor) Jeffrey, Richard C., 1926-2002 (autor) Předmět.hesla rekurzivní funkce * teorie vyčíslitelnosti computability theory * matematická logika mathematical logic Forma, žánr učebnice textbooks Konspekt 510 - Obecné úvahy o matematice 37.016 - Učební osnovy. Vyučovací předměty. Učebnice MDT 510.6 , 510.57 , 510.5 , (075) Země vyd. Velká Británie Jazyk dok. angličtina Druh dok. Knihy 
kniha
Signatura Čár.kód Lokace Dislokace Info M1/3391 (PřF) 3134043020 PřF PřF, Knihovna Doba výp. 30 dní M1/3391a (PřF) 3134043021 PřF PřF, KMI – Bc. Kolovratníková pouze prezenčně
Počet záznamů: 1