scientific article; zbMATH DE number 3563037

zbMATH Open0362.02014MaRDI QIDQ4135468FDOQ4135468

Authors: Daniel M. Leivant 

Publication date: 1976

Full work available at URL: http://www.numdam.org/item?id=ASCFM_1976__60_13_93_0

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

Mathematics Subject Classification ID

Intermediate logics (03B55) Categoricity and completeness of theories (03C35)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Formalized recursive functionals and formalized realizability
• Formal systems for some branches of intuitionistic analysis
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (1)

• Reflexive intermediate propositional logics

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