scientific article; zbMATH DE number 1169395
From MaRDI portal
Publication:4397047
zbMath0895.01006MaRDI QIDQ4397047
No author found.
Publication date: 25 June 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
isolsreminiscenceshigher order intuitionistic type theorymodells of intuitionistic Zermelo-Fraenkel set theoryrecursion theory on the ordinals
Biographies, obituaries, personalia, bibliographies (01A70) History of mathematical logic and foundations (03-03)
This page was built for publication:
