Set theory, higher order logic or both?

DOI10.1007/BFB0105405zbMATH Open1543.68401MaRDI QIDQ6567712

Mike M. Gordon

Publication date: 5 July 2024

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Set theory (03E99) Higher-order logic (03B16) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• IMPS: An interactive mathematical proof system
• Isabelle. A generic theorem prover
• Selected papers on AUTOMATH, dedicated to N. G. de Bruijn
• Exploring abstract algebra in constructive type theory
• A formulation of the simple theory of types
• The Alf proof editor and its proof engine

This page was built for publication: Set theory, higher order logic or both?

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6567712)