Set Theoretical Logic-The Algebra of Models

Set Theoretical Logic-The Algebra of Models

AngličtinaPevná väzba
Felscher, W
Taylor & Francis Ltd
EAN: 9789056992668
Titul je vypredaný u vydavateľa, predaj skončil
Neznámy dátum dodania
98,03 €
Bežná cena: 108,92 €
Zľava 10 %
Chcete tento titul ešte dnes?
kníhkupectvo Megabooks Banská Bystrica
nie je dostupné
kníhkupectvo Megabooks Bratislava
nie je dostupné
kníhkupectvo Megabooks Košice
nie je dostupné

Podrobné informácie

This is an introduction to mathematical logic in which all the usual topics are presented: compactness and axiomatizability of semantical consequence, Löwenheim-Skolem-Tarski theorems, prenex and other normal forms, and characterizations of elementary classes with the help of ultraproducts. Logic is based exclusively on semantics: truth and satisfiability of formulas in structures are the basic notions. The methods are algebraic in the sense that notions such as homomorphisms and congruence relations are applied throughout in order to gain new insights. These concepts are developed and can be viewed as a first course on universal algebra. The approach to algorithms generating semantical consequences is algebraic as well: for equations in algebras, for propositional formulas, for open formulas of predicate logic, and for the formulas of quantifier logic. The structural description of logical consequence is a straightforward extension of that of equational consequence, as long as Boolean valued propositions and Boolean valued structures are considered; the reduction of the classical 2-valued case then depends on the Boolean prime ideal theorem.
EAN 9789056992668
ISBN 905699266X
Typ produktu Pevná väzba
Vydavateľ Taylor & Francis Ltd
Dátum vydania 30. mája 2000
Stránky 296
Jazyk English
Rozmery 235 x 156
Krajina United Kingdom
Čitatelia Professional & Scholarly
Autori Felscher, W