scientific article; zbMATH DE number 3232754

zbMATH Open0144.24803MaRDI QIDQ5520649FDOQ5520649

Authors: L. E. Sigler 

Publication date: 1966

Title of this publication is not available (Why is that?)

zbMATH Keywords

set theory

Cited In (2)

• Automatic theorem proving in set theory
• Gazing: An approach to the problem of definition and lemma use

This page was built for publication:

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