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

Main
Mathematics
Logic Colloquium '03 : proceedings of...

Logic Colloquium '03 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Helsinki, Finland, August 14-20, 2003

Name: Logic Colloquium '03 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Helsinki, Finland, August 14-20, 2003
ISBN: 9781568812946

Viggo Stoltenberg-Hansen, Jouko Väänänen (eds.)

0 / 0

0 comments

이 책이 얼마나 마음에 드셨습니까?

파일의 품질이 어떻습니까?

책의 품질을 평가하시려면 책을 다운로드하시기 바랍니다

다운로드된 파일들의 품질이 어떻습니까?

A compilation of papers presented at the 2003 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium '03 includes tutorials and research articles from some of the world's preeminent logicians. One article is a tutorial on finite model theory and query languages that lie between first order and second order logic. The other articles cover current research topics in all areas of mathematical logic, including Proof Theory, Set Theory, Model Theory, and Computability Theory, and Philosophy

카테고리:

Mathematics

년:

2006

판:

출판사:

A K Peters, Association for Symbolic Logic;A K Peters/CRC Press;A.K.Peters

언어:

english

페이지:

417

ISBN 10: