Proceedings of the Second Scandinavian Logic Symposium
Provability, Computability and Reflection.
Cote: | Libro Electrónico |
---|---|
Collectivités auteurs: | Scandinavian Logic Symposium University of Oslo, Association for Symbolic Logic |
Autres auteurs: | Fenstad, Jens Erik (Éditeur intellectuel) |
Format: | Électronique Actes de congrès eBook |
Langue: | Inglés |
Publié: |
Amsterdam,
North-Holland Pub. Co.,
1971.
|
Collection: | Studies in logic and the foundations of mathematics ;
v. 63. |
Sujets: | |
Accès en ligne: | Texto completo Texto completo Texto completo |
Documents similaires
-
Handbook of mathematical logic /
Publié: (1977) -
A mathematical introduction to logic /
par: Enderton, Herbert B.
Publié: (2001) -
Patras Logic Symposion : proceedings of the Logic Symposion held at Patras, Greece, August 18-22, 1980 /
Publié: (1982) -
Southeast Asian Conference on Logic : proceedings of the Logic Conference, Singapore, 1981 /
Publié: (1983) -
Logic colloquium '85 : proceedings of the colloquium held in Orsay, France July 1985 /
Publié: (1987)