Curry haskell b 1900 1982 (1 risultati)

Autore:

Perfeziona con la Ricerca avanzata

Altre immagini
A Theory of Formal Deducibility.
Curry, Haskell B. (1900-1982):
Editore: University of Notre Dame, Indiana, 1950
Da: Antiquariat Günter Hochgrebe, Kassel, GermaniaAntiquariat Günter Hochgrebe
Venditore con 5 stelle
Contatta il venditore
Condizione: Usato
EUR 45,00
EUR 64,25 spedizione
Spedito da Germania a U.S.A.
Quantità: 1 disponibile
Aggiungi al carrello
Condizione: Lichtrandig. First Edition. Preface July 16, 1948, The Pennsylvania State College. 8°, viii, 126 p. with bibliograpy, kartoniert mit schwarzem Leinenrücken (Notre Dame Mathematical Lectures, Number 6). Lithoprinted in U.S.A., Edwards Brothers, Inc. and Arbor, Michigan. Contents: Preface / Notational Explanations / Introduction / Formal systems and formal reasoning / The finite positive connectives / Quantifiers / Negation / Modalities, Bibliography. Lang: englisch 300 g.…