Combinators,  -Terms and Proof Theory - Synthese Library - S. Stenlund - Libros - Springer - 9789027703057 - 30 de septiembre de 1972
En caso de que portada y título no coincidan, el título será el correcto

Combinators, -Terms and Proof Theory - Synthese Library 1972 edition

Precio
$ 107,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 24 de jun. - 7 de jul.
Añadir a tu lista de deseos de iMusic

También disponible como:

The aim of this monograph is to present some of the basic ideas and results in pure combinatory logic and their applications to some topics in proof theory, and also to present some work of my own.


187 pages, biography

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 30 de septiembre de 1972
ISBN13 9789027703057
Editores Springer
Páginas 177
Dimensiones 155 × 235 × 12 mm   ·   449 g
Lengua Inglés  

Mere med samme udgiver