scientific article; zbMATH DE number 3304914
From MaRDI portal
Publication:5586230
zbMath0192.03002MaRDI QIDQ5586230
Publication date: 1965
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (7)
Monotone recursive types and recursive data representations in Cedille ⋮ A classical view of the intuitionistic continuum ⋮ Unavoidable sequences in constructive analysis ⋮ Non-classical propositional calculi in relation to methodological patterns of scientific investigation ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Analyzing realizability by Troelstra's methods
This page was built for publication:
