Combinators, -Terms and Proof Theory - Synthese Library - S. Stenlund - Livres - Springer - 9789401029155 - 12 octobre 2011
Si la couverture et le titre ne correspondent pas, le titre est correct.

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

Prix
€ 97,49

Commandé depuis un entrepôt distant

Livraison prévue 2 - 10 nov.
Recevez une notification pour les nouvelles sorties de S. Stenlund

Nos clients disent :

Politique de retour de 14 jours conformément à la loi européenne sur la protection des consommateurs
Meilleur classement sur Trustpilot
Ajouter à votre liste de souhaits iMusic

Pas encore évalué

Également disponible en tant que :

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

Médias Livres     Paperback Book   (Livre avec couverture souple et dos collé)
Validé 12 octobre 2011
ISBN13 9789401029155
Éditeurs Springer
Pages 177
Dimensions 155 × 235 × 10 mm   ·   276 g
Langue et grammaire Anglais  

Plus d'ouvrages du même éditeur

Voir tous les S. Stenlund