Number of the records: 1
Computability and logic
Title statement Computability and logic / George S. Boolos, John P. Burgess, Richard C. Jeffrey Personal name Boolos, George, 1940-1996 (author) Edition statement Fifth edition Publication Cambridge : Cambridge University Press, 2007 Phys.des. xiii, 350 stran : ilustrace ISBN 978-0-521-70146-4 (brožováno) Note Zpracováno dle dotisku 3134043020 - dotisk 2010 Internal Bibliographies/Indexes Note Obsahuje bibliografii a rejstřík Another responsib. Burgess, John P., 1948- (author) Jeffrey, Richard C., 1926-2002 (author) Subj. Headings rekurzivní funkce * teorie vyčíslitelnosti computability theory * matematická logika mathematical logic Form, Genre učebnice textbooks Conspect 510 - Obecné úvahy o matematice 37.016 - Učební osnovy. Vyučovací předměty. Učebnice UDC 510.6 , 510.57 , 510.5 , (075) Country Velká Británie Language angličtina Document kind Books book
Call number Barcode Location Sublocation Info M1/3391 (PřF) 3134043020 PřF PřF, Knihovna Date due 30 days M1/3391a (PřF) 3134043021 PřF PřF, KMI – Bc. Kolovratníková In-Library Use Only
Number of the records: 1