Results 231 to 240 of about 47,415 (256)
Some of the next articles are maybe not open access.
Identity, doxastic co-indexation, and Frege’s puzzle
, 2018E. Corazza
semanticscholar +1 more source
Frege’s ‘On the Foundations of Geometry’ and Axiomatic Metatheory
, 2016Günther Eder
semanticscholar +1 more source
Lower bounds for bounded depth Frege proofs via Pudlák-Buss games
ACM Transactions on Computational Logic, 2010Prahladh Harsha
exaly
Non-Automatizability of Bounded-Depth Frege Proofs
Computational Complexity, 2004Maria Luisa Bonet +1 more
exaly