Geneza intuicjonistycznego rachunku zdań i Twierdzenie Gliwienki
Among the non-classical logics, the intuitionistic one stands out in many ways. First of all, because of its properties, it is grateful subject of formal analysis. Moreover, there is small, but very significant group of mathematicians and philosophers who claim that intuitionistic logic captures the...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | deu |
| Published: |
Copernicus Center Press
2014-09-01
|
| Series: | Zagadnienia Filozoficzne w Nauce |
| Subjects: | |
| Online Access: | http://zfn.edu.pl/index.php/zfn/article/view/26 |