Term logic with choice operator [monographie] Titre d'origine: Termlogik mit Auswahloperator |
| Auteur(s): | Hermes, Hans (1912-2003) |
| Langue: | anglais |
| Collection: | Lecture notes in mathematics, n° 6 |
| Editeur, date d'édition: | Springer, 1965 |
| Ville(s) d'édition: | Berlin (DE), Heidelberg (DE), New York (US) |
| ISSN: | 0075-8434 |
| Classification MSC: | 02.16 (2000) |
| Notes: | i ; bibliogr. pp. 53 ; index pp. 54-55 ; 30 cm (Revised and enlarged translation of the first german edition) ; 42 p. |
| Thèmes: | logique, predicat, symbole hilbert, substitution, theorie deduction, completude |
Exemplaire(s)
| Cote | Retour |
|---|---|
| 05 HER 65 | Disponible |