Logic colloquium '90: asl summer meeting in helsinki
Éditeur :
Cambridge University Press
ISBN :
9781107169029
Date de publication :
2 mars 2017
Dimensions :
23,5 x 15,7 x 2,2 cm
Poids :
600 g
Langue :
Anglais
Pays d'origine :
Grande Bretagne
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.