A Finite First-Order Theory of Classes

DOI10.1007/978-3-540-74464-1_13zbMath1178.03024OpenAlexW1851358086MaRDI QIDQ3612444

Florent Kirchner

Publication date: 10 March 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-74464-1_13

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Grammars and rewriting systems (68Q42) Foundations of classical theories (including reverse mathematics) (03B30)

Related Items (2)

Inductive proof search modulo ⋮ Automating Theories in Intuitionistic Logic

This page was built for publication: A Finite First-Order Theory of Classes