Curry haskell b 1900 1982 (1 resultados)

Autor:

Refinar con la Búsqueda avanzada

Más imágenes
A Theory of Formal Deducibility.
Curry, Haskell B. (1900-1982):
Editorial: University of Notre Dame, Indiana, 1950
Librería: Antiquariat Günter Hochgrebe, Kassel, AlemaniaAntiquariat Günter Hochgrebe
Vendedor de 5 estrellas
Contactar con el vendedor
Condición: Usado
EUR 45,00
Envío por EUR 64,25
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 1 disponible
Añadir al carrito
Condición: 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. …