Back to Search Start Over

Krivine's intuitionistic proof of Classical Completeness

Authors :
Berardi, Stefano
Valentini, S.
Publication Year :
2004

Details

Language :
English
Database :
OpenAIRE
Accession number :
edsair.od.......970..26779712acecc5e777598ad056803f8b

Tools

Authors Abstract Subjects Details