On the realizations of predicate formulas

DOI10.1007/BF01117465zbMath0252.02015MaRDI QIDQ2557239

Mikhail 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

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Propositional Calculus and Realizability
• Recursive Predicates and Quantifiers
• On the interpretation of intuitionistic number theory

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