TY - BOOK AU - Cantini,Andrea TI - Logical frameworks for truth and abstraction: an axiomatic study T2 - Studies in logic and the foundations of mathematics SN - 0444823069 AV - QA9 PY - 1996/// CY - Amsterdam [u.a.] PB - Elsevier KW - Logic, Symbolic and mathematical KW - Truth KW - Kombinatorik KW - Kombinatorische Logik KW - Logik KW - Mathematische Logik KW - Wahrheit KW - Wahrheitstheorie N1 - Literaturverz. S. [425] - 440 UR - http://www.loc.gov/catdir/enhancements/fy0601/96004681-d.html UR - http://www.gbv.de/dms/hbz/toc/ht007232323.PDF UR - https://zbmath.org/?q=an:0860.03015 ER -