- Tytuł:
-
Geneza intuicjonistycznego rachunku zdań i Twierdzenie Gliwienki
The Origin of Intuitionistic Propositional Calculus and Glivenko’s Theorem - Autorzy:
- Piotr Urbańczyk
- Data publikacji:
- 2014
- Tematy:
-
Glivenko’s theorem
intuitionistic logic
intuitionistic propositional calculus
history of logic
history of mathematics - Pokaż więcej
- Dostawca treści:
- CEJSH