Title: Arithmetical Completeness of the Intuitionistic Logic of Proofs
Abstract: Journal Article Arithmetical Completeness of the Intuitionistic Logic of Proofs Get access Evgenij Dashkov Evgenij Dashkov Department of Mathematical Logic and Theory of Algorithms, Faculty of Mechanics and Mathematics, Lomonosov Moscow State University, Moscow 119992, Russia.E-mail: [email protected] Search for other works by this author on: Oxford Academic Google Scholar Journal of Logic and Computation, Volume 21, Issue 4, August 2011, Pages 665–682, https://doi.org/10.1093/logcom/exp041 Published: 17 August 2009 Article history Received: 03 February 2009 Published: 17 August 2009
Publication Year: 2009
Publication Date: 2009-08-17
Language: en
Type: article
Indexed In: ['crossref']
Access and Citation
Cited By Count: 7
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot