Recomienda este artículo a tus amigos:
Combinators, -Terms and Proof Theory - Synthese Library S. Stenlund Softcover reprint of the original 1st ed. 1972 edition
Precio
Mex$ 1.913
sin IVA
Pedido desde almacén remoto
Entrega prevista 18 - 30 de nov.
Los regalos de Navidad se podrán canjear hasta el 31 de enero
Recibe notificaciones sobre nuevos lanzamientos de S. Stenlund
Añadir a tu lista de deseos de iMusic
También disponible como:
Combinators, -Terms and Proof Theory - Synthese Library
S. Stenlund
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