DOI10.1007/11753728_31zbMath1185.03087MaRDI QIDQ3434704
Valery Plisko
Publication date: 2 May 2007 Published in: Computer Science – Theory and Applications (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1007/11753728_31
Mathematics Subject Classification ID
03F30: First-order arithmetic and fragments
03F55: Intuitionistic mathematics