DOI10.1007/978-94-007-0431-2_6zbMath1315.18001OpenAlexW128615688MaRDI QIDQ5260987
Solomon Feferman
Publication date: 1 July 2015 Published in: The Western Ontario Series in Philosophy of Science (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1007/978-94-007-0431-2_6
Mathematics Subject Classification ID
Foundations, relations to logic and deductive systems (18A15)
