Number of the records: 1
Algebraic Methods of Mathematical Logic
Title statement Algebraic Methods of Mathematical Logic / Ladislav Rieger ; Translated [z čes. rukopisu do angl.] by Michal Basch ; Preface: M. Katětov Personal name Rieger, Ladislav, 1916-1963 (author) Issue data Prague : Academia, 1967 Phys.des. 210 s. ; 8° Note Věcný rejstřík. Pozn Internal Bibliographies/Indexes Note Bibliogr 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 Subj. Headings matematická logika * matematická logika * algebraická logika Form, Genre příručky Conspect 510 - Obecné úvahy o matematice UDC 510.6:512 * 510.6 * (035) Country Česko Language angličtina Document kind Books 
Call number Barcode Sublocation Volný výběr Info P-St 6354 3149038543 sklad E Date due 31 days
Number of the records: 1