An Abstract Notion of Realizability for Which Intuitionistic Predicate Calculus is Complete

Publisher Website

1 January 1970

book chapter
Published by Elsevier

p. 227-234
https://doi.org/10.1016/s0049-237x(08)70754-7

Abstract

No abstract available

This publication has 1 reference indexed in Scilit:

A Theory of Constructions Equivalent to Arithmetic
Published by Elsevier ,1970