scientific article
From MaRDI portal
Publication:3898494
zbMath0452.03047MaRDI QIDQ3898494
Publication date: 1980
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) History of mathematical logic and foundations (03-03) Other constructive mathematics (03F65)
Related Items (2)
Lifschitz realizability for intuitionistic Zermelo-Fraenkel set theory ⋮ Realizability and intuitionistic logic
This page was built for publication:
