Siirry suoraan sisältöön
Combinators, ?-Terms and Proof Theory
Tallenna

Combinators, ?-Terms and Proof Theory

Kirjailija:
sidottu, 1972
englanti
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.
Kirjailija
S. Stenlund
Painos
1972 ed.
ISBN
9789027703057
Kieli
englanti
Paino
446 grammaa
Julkaisupäivä
30.9.1972
Sivumäärä
177