Number of the records: 1
A form of feasible interpolation for constant depth Frege systems
- 1.KRAJÍČEK, J. A form of feasible interpolation for constant depth Frege systems. Journal of Symbolic Logic. 2010, 75(2), 774-784. ISSN 0022-4812. E-ISSN 1943-5886. Available: doi: 10.2178/jsl/1268917504.
Number of the records: 1