product iamge

Logic Colloquium 90. ASL Summer Meeting in Helsinki

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Download
Search on Amazon

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

This volume is the Proceedings of Logic Colloquium 90 held in Helsinki, Finland, from July 15 to July 22, 1990. The congress belongs to the annual series of the European Summer Meetings of the Association for Symbolic Logic. These proceedings contain 13 research papers written mainly by the invited speakers of the congress. They represent 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.

Author(s): Juha M.R. Oikkonen, Jouko Väänänen
Series: Lecture Notes in Logic
Edition: 1
Publisher: Springer
Year: 1994

Language: English
Pages: 324

Disseminate......Page 1
Disseminate_001......Page 13
Disseminate_002......Page 22
Disseminate_003......Page 37
Disseminate_004......Page 58
Disseminate_005......Page 74
Disseminate_006......Page 78
Disseminate_007......Page 101
Disseminate_008......Page 134
Disseminate_009......Page 157
Disseminate_010......Page 167
Disseminate_011......Page 175
Disseminate_012......Page 203
Disseminate_013......Page 222
Disseminate_014......Page 262
Disseminate_015......Page 271
Disseminate_016......Page 278
Disseminate_017......Page 293
Disseminate_018......Page 302
Disseminate_019......Page 319