Some modofications of the Godel translation of classical logic into intuitionistic logic

Bulletin of the Section of Logic, Tom 19, Numer 3 (1990) s. 84-86
Branislav R. Boricic

 

Zaznaczone:  

do góry

Czy na pewno chcesz usunąć artykuł?

Załóż konto

Nazwa:
Adres e-mail:
Hasło:
Powtórz hasło:
Logowanie

Zaloguj się

Login:
Hasło:
Zapomniałem hasła