Items related to Logic Colloquium '03: Proceedings of the Annual...
Logic Colloquium '03: Proceedings of the Annual European Summer (Lecture Notes in Logic, 24) - Hardcover
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.
"synopsis" may belong to another edition of this title.
About the Author:
Viggo Stoltenberg-Hansen is a professor at Uppsala University in Sweden and researches computability theory, constructive mathematics, type theory, domain theory, categorical logic, and model theory.Jouko Väänänen is a professor at the University of Helsinki in Finland where he researches foundations of mathematics, logic in computer science, semantics of natural language, games, generalized quantifiers, infinitary languages, abstract logic, model theory, and set theory.
"About this title" may belong to another edition of this title.
- PublisherA K Peters/CRC Press
- Publication date2006
- ISBN 10 1568812930
- ISBN 13 9781568812939
- BindingHardcover
- Edition number1
- Number of pages420
- EditorStoltenberg-Hansen Viggo, Väänänen Jouko
Buy New
Learn more about this copy
US$ 24.75
Shipping:
US$ 4.50
Within U.S.A.
Top Search Results from the AbeBooks Marketplace
Stock Image
Logic Colloquium '03: Proceedings of the Annual European Summer (Lecture Notes in Logic)
Published by
A K Peters/CRC Press
(2006)
ISBN 10: 1568812930
ISBN 13: 9781568812939
New
Hardcover
Quantity: 1
Seller:
Rating
Book Description Condition: New. *Price HAS BEEN REDUCED by 10% until Monday April 29 (sale item)* 417 pp., Hardcover, new. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country. Seller Inventory # ZB1114976
Buy New
US$ 24.75
Convert currency
Stock Image
Logic Colloquium '03: Proceedings of the Annual European Summer (Lecture Notes in Logic) [Hardcover] Stoltenberg-Hansen, Viggo and V
Published by
A K Peters/CRC Press
(2006)
ISBN 10: 1568812930
ISBN 13: 9781568812939
New
Hardcover
Quantity: 1
Seller:
Rating
Book Description Hardcover. Condition: New. Brand New Hardcover Book. Seller Inventory # 36497
Buy New
US$ 72.95
Convert currency
Stock Image
Logic Colloquium *03: Proceedings of the Annual European Summer (Lecture Notes in Logic)
Published by
A K Peters/CRC Press
(2006)
ISBN 10: 1568812930
ISBN 13: 9781568812939
New
Hardcover
Quantity: 1
Seller:
Rating
Book Description Hardcover. Condition: New. New. book. Seller Inventory # ERICA79115688129306
Buy New
US$ 129.91
Convert currency