scientific article

zbMath0894.03002MaRDI QIDQ2785428

No author found.

Publication date: 23 February 1997

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

zbMATH Keywords

Church's thesisproof theoryintuitionismconstructivismgeneralized recursion theorydefinition theoryKreiseliana

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Biographies, obituaries, personalia, bibliographies (01A70) Collections of articles of miscellaneous specific interest (00B15) Philosophical and critical aspects of logic and foundations (03A05) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) History of mathematical logic and foundations (03-03) Research exposition (monographs, survey articles) pertaining to history and biography (01-02) Metamathematics of constructive systems (03F50)

Related Items (2)

Barwise: Infinitary Logic and Admissible Sets ⋮ XI Latin American Symposium on Mathematical Logic

This page was built for publication: