scientific article; zbMATH DE number 3271503

zbMath0169.31005MaRDI QIDQ5556428

Paul Lorenzen

Publication date: 1969

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

recursion theory, constructive mathematics

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01)

Related Items

Partial inductive definitions