View in EDS PDF Full Text

Intuitionistic Frege systems are polynomially equivalent.

Saved in:
Bibliographic Details
Title: Intuitionistic Frege systems are polynomially equivalent.
Authors: Mints, G.1 mints@csli.stanford.edu, Kojevnikov, A.2 arist@logic.pdmi.ras.ru
Source: Journal of Mathematical Sciences. May2006, Vol. 134 Issue 5, p2392-2402. 11p.
Database: Academic Search Ultimate
Description
ISSN:10723374
DOI:10.1007/s10958-006-0116-8