Number of the records: 1
Undecidable theories
Title statement Undecidable theories / Alfred Tarski ; in collaboration with Andrzej Mostowski and Raphael M. Robinson Personal name Tarski, Alfred, 1902-1983 (author) Edition statement First published Publication Mineola, New York : Dover Publications, Inc., 2010 Phys.des. ix, 98 stran ISBN 978-0-486-47703-9 (brožováno) Edition Dover books on mathematics Note Obálkový podnázev: studies in logic and the foundation of mathematics Internal Bibliographies/Indexes Note Obsahuje bibliografii, bibliografické odkazy a rejstřík Another responsib. Mostowski, Andrzej, 1913-1975 (collaborator) Robinson, Raphael M., 1911-1995 (collaborator) Subj. Headings matematická logika mathematical logic * teorie rozhodování decision theory Form, Genre učebnice vysokých škol textbooks (higher) Conspect 510 - Obecné úvahy o matematice 37.016 - Učební osnovy. Vyučovací předměty. Učebnice UDC 510.6 , 519.816 , (075.8) Country Spojené státy americké Language angličtina Document kind Books book
Call number Barcode Location Sublocation Info M1/3314 (PřF) 3134042095 PřF PřF, KMI – Bc. Kolovratníková In-Library Use Only M1/3314a (PřF) 3134042096 PřF PřF, KMI – Bc. Kolovratníková In-Library Use Only N/A 3134043276 PřF PřF, Knihovna Date due 30 days M1/3314c (PřF) 3134043277 PřF PřF, Knihovna Date due 30 days
Number of the records: 1