scientific article
From MaRDI portal
Publication:3024857
zbMath1063.68641MaRDI QIDQ3024857
Publication date: 4 July 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Mechanization of proofs and logical operations (03B35) Combinatory logic and lambda calculus (03B40) Set theory (03E99)
Related Items (5)
Reconsidering pairs and functions as sets ⋮ ProofScript: Proof Scripting for the Masses ⋮ Explaining Gabriel-Zisman localization to the computer ⋮ Computer theorem proving in mathematics ⋮ Semantics of Mizar as an Isabelle object logic
Uses Software
This page was built for publication:
