모금 9월 15일 2024 – 10월 1일 2024 모금에 대해서

Logic Colloquium '98 : proceedings of the Annual European...

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

Buss, Samuel R., Hájek, Petr, Pudlák, Pavel (eds.)
이 책이 얼마나 마음에 드셨습니까?
파일의 품질이 어떻습니까?
책의 품질을 평가하시려면 책을 다운로드하시기 바랍니다
다운로드된 파일들의 품질이 어떻습니까?
A compilation of papers presented at the 1998 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium '98 includes surveys and research from the world's preeminent logicians. Topics cover current research from all areas of mathematical logic, including Proof Theory, Set Theory, Model Theory, Computability Theory, and Philosophy. This book will be of interest to students and researchers of mathematical logic
카테고리:
년:
2000
판:
1
출판사:
Association for Symbolic Logic;A K Peters/CRC Press;A.K.Peters
언어:
english
페이지:
560
ISBN 10:
1568811144
ISBN 13:
9781568811147
시리즈:
Springer Lecture notes in logic 13
파일:
DJVU, 4.34 MB
IPFS:
CID , CID Blake2b
english, 2000
온라인으로 읽기
로의 변환이 실행 중입니다
로의 변환이 실패되었습니다

주로 사용되는 용어