TY - BOOK ID - 145636281 TI - A transfinite type theory with type variables PY - 1965 PB - Amsterdam : North-Holland, DB - UniCat KW - Logic, Symbolic and mathematical. KW - Logique mathématique. KW - Type theory. KW - Théorie des types KW - Logique et fondements KW - Logique et fondements UR - https://www.unicat.be/uniCat?func=search&query=sysid:145636281 AB - ER -