TY - BOOK AU - Wolfram, D. A. TI - The clausal theory of types SN - 0521395380 U1 - 005.131 PY - 1993/// CY - Cambridge PB - Cambridge University Press KW - Logic, Symbolic and mathematical KW - Programming languages (Electronic Computers) ER -