scientific article; zbMATH DE number 735884
From MaRDI portal
Publication:4326601
zbMath0811.04001MaRDI QIDQ4326601
Publication date: 21 March 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Axiomatics of classical set theory and its fragments (03E30)
Related Items (2)
Self-formalisation of higher-order logic. Semantics, soundness, and a verified implementation ⋮ Galois groups over rational function fields over skew fields
This page was built for publication:
