Logic Colloquium '90
ASL Summer Meeting in Helsinki
Buch in deiner Nähe kaufen
Beschreibung
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.
Autor*in
Juha M.R. Oikkonen
Themen in »Logic Colloquium '90«
ASL Summer Meeting Mathematical logic Rekursionstheorie Set-Theeorie logic programming logisches Programmieren model theory proof theory recursion theory set theory theoretical Computer Science theoretische Informatik