On the realizations of predicate formulas

DOI10.1007/BF01117465zbMATH Open0252.02015MaRDI QIDQ2557239FDOQ2557239

Authors: M. M. Kipnis 

Publication date: 1973

Published in: Journal of Soviet Mathematics (Search for Journal in Brave)

Mathematics Subject Classification ID

Intermediate logics (03B55)

Cites Work

• Title not available (Why is that?)
• On the interpretation of intuitionistic number theory
• Propositional Calculus and Realizability
• Recursive Predicates and Quantifiers
• Title not available (Why is that?)
• Title not available (Why is that?)

This page was built for publication: On the realizations of predicate formulas

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