D. A. Wolfram (1993): The clausal theory of types

Title:	The clausal theory of types
Author(s):	D. A. Wolfram
Year:	1993
Number:	21
Publisher:	Cambridge Univ. Press
Address:	Cambridge [u.a.]

Concepts