Results 151 to 160 of about 798 (178)
Some of the next articles are maybe not open access.
On the Consistency of the Δ1 1-CA Fragment of Frege's Grundgesetze
Journal of Philosophical Logic, 2002Fernando Ferreira
exaly
Characterising tree-like Frege proofs for QBF
Information and Computation, 2019Olaf Beyersdorff
exaly

