Vyhledávat v databázi titulů je možné dle ISBN, ISSN, EAN, č. ČNB, OCLC či vlastního identifikátoru. Vyhledávat lze i v databázi autorů dle id autority či jména.
Projekt ObalkyKnih.cz sdružuje různé zdroje informací o knížkách do jedné, snadno použitelné webové služby. Naše databáze v tuto chvíli obsahuje 3150225 obálek a 950558 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.
Algebraic Methods of Mathematical Logic /
Autor: Rieger, Ladislav
NKP-CNB: cnb000444994
OCLC Number: 2655859
OKCZID: 128272228
Půjčte si tento titul v knihovně přes portál Knihovny.cz
Citace (dle ČSN ISO 690):
RIEGER, Ladislav. Algebraic methods of mathematical logic. Překlad Michal BASCH. Prague: Academia, 1967. 210 s.
Anotace
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í a zvláš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émantiku konstrukce 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.
Zdroj anotace: Národní knihovna v Praze