Items related to Logic Colloquium '90: Lecture Notes in Logic 2
Synopsis
This book covers the proceedings of a meeting of the Association for Symbolic Logic held in Helsinki, Finland, in July 1990. It contains 18 papers written by leading researchers in logic, including most of the invited speakers of the meeting. They cover all fields of mathematical logic from the philosophy of mathematics through model theory, proof theory, recursion theory and set theory, to connections of logic to computer science. The articles published here are still widely referred to and continue to provide ideas for ongoing research projects.
"synopsis" may belong to another edition of this title.
Product Description
Unusual book
Synopsis
This book contains the proceedings of a meeting of the Association for Symbolic Logic held July 15-22, 1990, in Helsinki, Finland. This meeting took place as part of the program of the 350th anniversary of the University of Helsinki, and was attended by 140 participants from 23 countries. This volume contains 18 papers written by leading researchers in logic, including most of the invited speakers of the meeting. They cover all fields of logic, including philosophy of mathematics, model theory, proof theory, computability theory, set theory, and connections of logic to computer science. The articles published here are still widely referred to and continue to provide ideas for ongoing research projects. This reprint is made available as part of an ongoing effort by the Association for Symbolic Logic to keep all of their publications in print.
"About this title" may belong to another edition of this title.
Search results for Logic Colloquium '90: Lecture Notes in Logic 2
Stock Image
Logic Colloquium '90: Lecture Notes in Logic 2 (Lecture Notes in Logic, 1.)
Seller: Hoosac River Books, Adams, MA, U.S.A.
Seller rating 5 out of 5 stars
Condition: Very Good. A very nice copy. The pages are clean and unmarked. The binding is tight. Seller Inventory # chcp18lc90