Syntactical and Semantical Properties of Simple Type Theory
Kurt SchütteVolume:
25
Language:
english
Pages:
22
Journal:
The Journal of Symbolic Logic
DOI:
10.2307/2963525
Date:
December, 1960
File:
PDF, 783 KB
english, 1960