Proceedings of the Second Scandinavian Logic Symposium [monographie] |
| Auteur(s): | Fenstad, Jens Erik (1935-....) (Ed.) |
| Langue: | anglais |
| Collection: | Studies in logic and the foundations of mathematics, n° 63 |
| Editeur, date d'édition: | North-Holland Publishing Company, Inc., 1971 |
| Ville(s) d'édition: | Amsterdam (NL), London (GB) |
| Congrés: | Proceedings of the Second Scandinavian Logic Symposium (1970) Olso (NO) |
| ISBN: | 0-7204-2259-0 |
| ISSN: | 0049-237X |
| Classification MSC: | 02.00 (2000) |
| Notes: | v ; notes bibliogr. ; 23 cm ; 405 p. |
| Thèmes: | forcing, decidabilite, machine turing, congres, arithmetique intuitionniste, theorie de la demonstration, elimination coupure |
Exemplaire(s)
| Cote | Retour |
|---|---|
| 05 FEN 70 | Disponible |