عنوان
پدید آورنده
موضوع
رده
QA 9 .A1 .L64 1998
QA
9
.
A1
.
L64
1998
کتابخانه
محل استقرار
130225
130426
تابستان۱۸
English
)20-24(
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
Natick, Mass.
Association for Symbolic Logic
2000
xv, 541 p.: ill.; 25 cm
Lecture notes in logic
13
Includes bibliographical references and index
Congresses ، Logic, Symbolic and mathematical
QA
9
.
A1
.
L64
1998
AU
edited by Samuel R. Buss, Petr Hajek, Pavel Pudlak
AU .R leumaS ,ssuB
AU rteP ,kejaH
AU levaP ,kalduP 1952-
CO Association for Symbolic Logic
TI
SE
Logic Colloquium )1998: Prague, Czech Republic(
165
02
