Combinators, -Terms and Proof Theory - Prijzen

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. Some of the material in chapter 1 and 3 has already appeared in my notes Introduction to Combinatory Logic. It appears here in revised form since the presen- tation in my notes is inaccurate in several respects. I would like to express my gratitude to...

De Combinators, -Terms and Proof Theory is een populaire optie voor Logica. Esy heeft 1 prijs gevonden, de goedkoopste keuze is volgens ons Bol, maar bekijk de andere aanbieders om het zeker te weten. Links openen in een nieuwe tabblad. Bekijk hier onder de product specificaties. Meer product informatie beschikbaar bij Bol.

Productspecificaties

Waar te koop

Combinators, -Terms and Proof Theory is onder andere te koop bij: Bol. Esy raadt altijd aan om meerdere aanbieders te bekijken om geen last minute deals mis te lopen.

Combinators, -Terms and Proof Theory
meer afbeeldingen
  • EAN9789027703057
43.038.788producten
154.355merken
933winkels