header
cover

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)
CoteRetour
05 HER 65Disponible