scientific article; zbMATH DE number 3855060

zbMATH Open0538.03010MaRDI QIDQ3323920FDOQ3323920

Suketaka Mitani

Publication date: 1983

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

Recommendations

• ON THE THEORY OF MODELS FOR INTUITIONISTIC LOGIC
• Intuitionistic logic and modality via topology
• Mathematical logic of notions and concepts
• Two Episodes in the Unification of Logic and Topology
• scientific article; zbMATH DE number 519815

zbMATH Keywords

dimension theoryLJ

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Dimension theory in general topology (54F45) Model theory (03C99)

Cited In (1)

• Dimension theory of Lüroth digits

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 Q3323920)