Intuitionistic Logic and Computability Theory

DOI10.1007/978-3-642-13824-9_5zbMath1306.03001OpenAlexW1598717221MaRDI QIDQ4931589

Sebastiaan A. Terwijn

Publication date: 29 September 2010

Published in: Logic, Language, Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-13824-9_5

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) History of mathematical logic and foundations (03-03) Subsystems of classical logic (including intuitionistic logic) (03B20) Intuitionistic mathematics (03F55) Computability and recursion theory (03Dxx)

This page was built for publication: Intuitionistic Logic and Computability Theory