01607nam a22004097a 4500 000033028 CZ-PrVSE 20001101000000.0 000707s2000 xxu ||||| eng | 1-56881-113-6 (váz.) 1-56881-114-4 (brož.) ABA006 cze ABA006 ABA006 eng xxu 510.6 510.2 510.2BUS Association for Symbolic Logic (USA) Logic colloquium '98 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Prague, Czech Republic August 9-15, 1998 / edited by Samuel R. Buss, Petr Hájek, Pavel Pudlák Natick, Massachusetts : Association for Symbolic Logic, c2000 xv, 541 s. Lecture notes in logic ; 13 Obsahuje bibliografii matematická logika ph122671 czenas axiomatika sborníky fd163935 czenas mathematical logic eczenas Pudlák, Pavel edt Buss, Samuel R. edt Hájek, Petr, 1940-2016 jk01033078 edt Logic colloquium '98 (1998 : Prague) Lecture notes in logic PNGMM PDPZ2 F180671 3142116714 20030807 510.2BUS 81 UEP01 BOOK Knihovna Žižkov depoz. 2 na 1 měsíc UEP01 20030918 PDPZ2 F180671a 3142116713 20030807 510.2BUS 81 UEP01 BOOK Knihovna Žižkov depoz. 2 na 1 měsíc UEP01 20030918