Logic colloquium '90: Proc. Helsinki 1990

Main
Mathematics
Logic colloquium '90: Proc. Helsinki...

Logic colloquium '90: Proc. Helsinki 1990

Name: Logic colloquium '90: Proc. Helsinki 1990
ISBN: 9783540570943

Juha M.R. Oikkonen, Jouko Väänänen

0 / 0

0 comments

Sukakah anda buku ini?

Bagaimana kualiti fail ini?

Muat turun buku untuk menilai kualitinya

Bagaimana kualiti fail yang dimuat turun?

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.

Kategori:

Mathematics

Tahun:

1994

Edisi:

Penerbit:

Springer

Bahasa:

english

Halaman:

324

ISBN 10: