Number of the records: 1
Sets, models and recursion theory
Title statement Sets, models and recursion theory : proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965 / edited by John N. Crossley Main entry-action Logic Colloquium (10. : 1965 : Leicester, Anglie) (author) Publication Amsterdam : North-Holland Publishing Company, 1967 Phys.des. 331 stran Edition Studies in logic and the foundations of mathematics Internal Bibliographies/Indexes Note Obsahuje bibliografické údaje Another responsib. Crossley, John N., 1937- (editor) Subj. Headings matematická logika mathematical logic * teorie množin set theory * teorie vyčíslitelnosti computability theory Form, Genre sborníky konferencí proceedings of conferences Conspect 51 - Matematika UDC 510.6 , 510.22 , 510.57 , (062.534) Country Nizozemsko Language angličtina Document kind Books book
Call number Barcode Location Sublocation Info 540/323 (KUP) 3139293267 Zbrojnice Ústřední knihovna UP - matematika In-Library Use Only
Number of the records: 1