Results 251 to 256 of about 47,415 (256)
Some of the next articles are maybe not open access.
A form of feasible interpolation for constant depth Frege systems
Journal of Symbolic Logic, 2010exaly
A form of feasible interpolation for constant depth Frege systems
Journal of Symbolic Logic, 2010