ID - 131774640 TI - Elementary induction on abstract structures PY - 1974 SN - 9780080954875 0080954871 1283525720 9781283525725 9786613838179 6613838179 9780444105370 0444105379 PB - New York American Elsevier Pub. Co DB - UniCat UR - https://www.unicat.be/uniCat?func=search&query=sysid:131774640 AB - Provability, Computability and Reflection. ER -