Algebraic Methods of Mathematical Logic /
V úvodních statích charakterizuje autor matematickou logiku a zabývá se dialektikou vztahu mezi matematickými a metamatematickými aspekty. Věnuje pozornost konstruktivismu v metamatematice, vztahům mezi matematikou a filosofiíazvláště vztahu mezi logicismem a intuicionismem. V dalších kapitolách poj...
| Hlavní autor: |
Rieger, Ladislav, 1916-1963
(
Autor )
|
|---|---|
| Typ dokumentu: | Kniha |
| Jazyk: |
angličtina čeština |
| Vydavatel: |
Prague :
Academia,
1967
|
|
|