Number of the records: 1
Computability and logic
Main entry-name Boolos, George, 1940-1996 (author) Title statement Computability and logic / George S. Boolos, John P. Burgess, Richard C. Jeffrey Another responsib. Burgess, John P., 1948- (author)
Jeffrey, Richard C., 1926-2002 (author)
Edition statement 4th ed. Issue data Cambridge : Cambridge University Press, c2002 Phys.des. xi, 356 s. ISBN 0-521-00758-5 Note Reprinted 2006 Subj. Headings matematika logika matematická logika matematické funkce logické funkce teorie matematiky Conspect 511 - Teorie čísel UDC 51 Country Velká Británie Language English Copy count 1, currently available 1 Database Naučná literatura Call number Track No. Location Sublocation Info 78721 410517 Knihovna IV
Number of the records: 1