Gå direkt till innehållet
Combinators, ?-Terms and Proof Theory
Spara

Combinators, ?-Terms and Proof Theory

Författare:
inbunden, 1972
Engelska
Lägsta pris på PriceRunner
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.
Författare
S. Stenlund
Upplaga
1972 ed.
ISBN
9789027703057
Språk
Engelska
Vikt
446 gram
Utgivningsdatum
1972-09-30
Sidor
177