Classical and intuitionistic logic are asymptotically identical
Tytuł:
Classical and intuitionistic logic are asymptotically identical
Czasopismo:
Rok:
2007
Strony:
177-193
Tom (seria wydawnicza):
4646