Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

86

APAL
2004

56views more APAL 2004»

Krivine's intuitionistic proof of classical completeness (for countable languages)

15 years 2 months ago

Krivine's intuitionistic proof of classical completeness (for countable languages)

Download www.di.unito.it

Stefano Berardi, Silvio Valentini

Real-time Traffic

APAL 2004 |

claim paper

Post Info
More Details (n/a)

Added	16 Dec 2010
Updated	16 Dec 2010
Type	Journal
Year	2004
Where	APAL
Authors	Stefano Berardi, Silvio Valentini

Comments (0)