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
Pudlák, Pavel, Buss, Samuel R., Hájek, Petr (eds.)類別:
年:
2000
出版商:
A.K.Peters
語言:
english
頁數:
541
ISBN 10:
1568811144
ISBN 13:
9781568811147
系列:
Springer Lecture notes in logic 13
文件:
DJVU, 4.34 MB
IPFS:
,
english, 2000