Vollständige Systeme modaler und intuitionistischer Logik [monographie] |
| Auteur(s): | Schütte, Kurt (1909-1998) |
| Langue: | allemand |
| Collection: | Ergebnisse der Mathematik und Ihrer Grenzgebiete. Neue Folge : A series of modern surveys in mathematics, n° 42 |
| Editeur, date d'édition: | Springer, 1968 |
| Ville(s) d'édition: | New-York (US), Heidelberg (DE), Berlin (DE) |
| ISSN: | 0071-1136 |
| Classification MSC: | 02.27 (2000) |
| Notes: | vi ; bibliogr. pp. 85 ; index pp. 86-87 ; 23 cm ; 87 p. |
| Thèmes: | calcul des predicats, logique mathematique, logic, symbolic and mathematical |
Exemplaire(s)
| Cote | Retour |
|---|---|
| 05 SCHU 68 | Disponible |