DOI10.1007/978-3-642-33512-9_1zbMath1311.03058MaRDI QIDQ4899138
Sławomir Lasota, Mikołaj Bojańczyk
Publication date: 7 January 2013 Published in: Lecture Notes in Computer Science (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1007/978-3-642-33512-9_1
Mathematics Subject Classification ID
03B70: Logic in computer science
03E70: Nonclassical and second-order set theories
Related Items