Logic Colloquium '90
Author | : Juha Oikkonen |
Publisher | : Cambridge University Press |
Total Pages | : 316 |
Release | : 2017-03-02 |
ISBN-10 | : 9781107169029 |
ISBN-13 | : 110716902X |
Rating | : 4/5 (02X Downloads) |
Book Synopsis Logic Colloquium '90 by : Juha Oikkonen
Download or read book Logic Colloquium '90 written by Juha Oikkonen and published by Cambridge University Press. This book was released on 2017-03-02 with total page 316 pages. Available in PDF, EPUB and Kindle. Book excerpt: The proceedings of the Association for Symbolic Logic meeting held in Helsinki, Finland, in July 1990, containing eighteen papers written by leading researchers in logic. Between them they cover all fields of mathematical logic, including model theory, proof theory, recursion theory, and set theory.