scientific article; zbMATH DE number 3232754
From MaRDI portal
Publication:5520649
zbMath0144.24803MaRDI QIDQ5520649
Publication date: 1966
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Gazing: An approach to the problem of definition and lemma use ⋮ Automatic theorem proving in set theory
