Combinators,  -Terms and Proof Theory - Synthese Library - S. Stenlund - Libros - Springer - 9789401029155 - 12 de octubre de 2011
En caso de que portada y título no coincidan, el título será el correcto

Combinators, -Terms and Proof Theory - Synthese Library Softcover reprint of the original 1st ed. 1972 edition

Precio
$ 106,99
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.


194 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 12 de octubre de 2011
ISBN13 9789401029155
Editores Springer
Páginas 177
Dimensiones 155 × 235 × 10 mm   ·   276 g
Lengua Inglés  

Mere med samme udgiver