Curry Haskell B 1900 1982 (1 results)

Author:

Refine with Advanced Search

More images
A Theory of Formal Deducibility.
Curry, Haskell B. (1900-1982):
Published by University of Notre Dame, Indiana, 1950
Seller: Antiquariat Günter Hochgrebe, Kassel, GermanyAntiquariat Günter Hochgrebe
5-star seller
Contact seller
Condition: Used
£ 38.67
£ 53.61 shipping
Ships from Germany to U.S.A.
Quantity: 1 available
Add to basket
Condition: 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. …