TY - BOOK ID - 138401611 TI - Lecture notes on metamathematics PY - 1962 PB - Philadelphia (Pa.): Pennsylvania State university press DB - UniCat UR - https://www.unicat.be/uniCat?func=search&query=sysid:138401611 AB - ER -