Number of the records: 1
Algebraic Methods of Mathematical Logic
- P-St 6354
Rieger, Ladislav, 1916-1963
Algebraic Methods of Mathematical Logic / Ladislav Rieger ; Translated [z čes. rukopisu do angl.] by Michal Basch ; Preface: M. Katětov. -- Prague : Academia, 1967. -- 210 s. ; 8°. -- Věcný rejstřík. -- Pozn. -- Abstract: 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 pojednává o symbolizaci gramaticky a frazeologicky často komplikovaného jazykového vyjádření matematického textu, sleduje logickou syntaxi i sémantikukonstrukce matematické logiky, probírá axiomatiku a Gödelovu aritmetizaci a Tarského a Mostowského algebraizaci matematických teorií. Uvádí algebraickou teorii predikativní, logiky a problematiku algebry Booleovy aLindenbaumovy.
matematická logika. matematická logika. algebraická logika. příručky
510.6:512. 510.6. (035)
Number of the records: 1