Gå direkte til innholdet
Combinators, ?-Terms and Proof Theory
Spar

Combinators, ?-Terms and Proof Theory

Forfatter:
innbundet, 1972
Engelsk
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.
Forfatter
S. Stenlund
Opplag
1972 ed.
ISBN
9789027703057
Språk
Engelsk
Vekt
446 gram
Utgivelsesdato
30.9.1972
Antall sider
177