Počet záznamů: 1
Undecidable theories
Údaje o názvu Undecidable theories / by Alfred Tarski in collaboration with Andrzej Mostowski and Raphael M. Robinson Osobní jméno Tarski, Alfred, 1902-1983 (autor) Vyd.údaje Amsterdam : North-Holland Publishing Company, 1953 Fyz.popis xi, 98 s. Edice Studies in logic and the foundations of mathematics Poznámka Rejstř. Poznámky o skryté bibliografii a rejstřících Bibliogr. Předmět.hesla aritmetika arithmetic * logika logic * matematická logika mathematical logic * rozhodování decision making MDT 164 , 164.053 , 511.1 Země vyd. Nizozemsko Jazyk dok. angličtina Druh dok. Knihy kniha
Call number Barcode Location Sublocation Info SF2811 (KUP) 3139083597 Zbrojnice Ústřední knihovna UP - sklad Prezenčne do studovny
Počet záznamů: 1