Tableau systems for first order number theory and certain higher order theories

zbMath0309.02028MaRDI QIDQ1218846

Sue Toledo

Publication date: 1975

Published in: Lecture Notes in Mathematics (Search for Journal in Brave)

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Proof theory and constructive mathematics (03F99)

Related Items (3)

Did Descartes make a diagonal argument? ⋮ A propositional fragment of Leśniewski's ontology and its formulation by the tableau method ⋮ Relevant analytic tableaux

This page was built for publication: Tableau systems for first order number theory and certain higher order theories