scientific article; zbMATH DE number 1169381
From MaRDI portal
Publication:4397033
zbMath0901.03039MaRDI QIDQ4397033
Publication date: 25 June 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Second- and higher-order arithmetic and fragments (03F35) Metamathematics of constructive systems (03F50) Higher-type and set recursion theory (03D65)
Related Items (1)
This page was built for publication: