This volume is the Proceedings of Logic Colloquium 90 heldin Helsinki, Finland, from July 15 to July 22, 1990.The congress belongs to the annualseries of the EuropeanSummer Meetings of the Association for SymbolicLogic.These proceedings contain 13 research papers written mainlyby the invited speakers of the congress. They represent allfields ofmathematical logic from the philosophy ofmathematics through model theory, proof theory, recursiontheory and set theory, to connections of logic to computerscience.
## eBook Logic Colloquium '90 (Lecture Notes in Logic, Vol 2)

Filename | Format | Size | Download |

logic_colloquium_90_lecture_notes_in_logic_vol.pdf | PDF | 2.1 Mb | |

logic_colloquium_90_lecture_notes_in_logic_vol.rar | RAR-archive | 1.05 Mb | |

logic_colloquium_90_lecture_notes_in_logic_vol.torrent | torrent | 0.08 Mb | |