Cantitate/Preț
Produs
Total produse
Vezi coșul
Models, Algebras, and Proofs de Xavier Caicedo

Models, Algebras, and Proofs: Lecture Notes in Pure and Applied Mathematics

Editat de Xavier Caicedo, Carlos H. Montenegro
en Limba Engleză Paperback – 5 noi 1998
"Contains a balanced account of recent advances in set theory, model theory, algebraic logic, and proof theory, originally presented at the Tenth Latin American Symposium on Mathematical Logic held in Bogata, Columbia. Traces new interactions among logic, mathematics, and computer science. Features original research from over 30 well-known experts worldwide."
Citește tot Restrânge

Din seria Lecture Notes in Pure and Applied Mathematics

Preț: 101537 lei

Preț vechi: 137031 lei
-26% Nou

Puncte Express: 1523
Preț estimativ în valută:
19430€ • 20441$ • 16087£

Comandă specială

Livrare economică 25 decembrie 24 - 08 ianuarie 25

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă
Doresc să fiu notificat când acest titlu va fi disponibil:
Trimite
Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9780824719708
ISBN-10: 0824719700
Pagini: 472
Dimensiuni: 210 x 280 x 22 mm
Greutate: 0.82 kg
Ediția:1
Editura: CRC Press
Colecția CRC Press
Seria Lecture Notes in Pure and Applied Mathematics

Public țintă

Professional

Cuprins

Set theory - generic absoluteness and forcing axioms; partition of the reals and choice; analogues of the MacDowell-Specker theorem for set theory; strict genericity; weak versions of the axiom of choice for families of finite sets; heights of models of ZFC and the existence of end elementary extensions; model theory; on the (infinite) model theory of fixed point logics; stable Banach spaces and Banach space structures; induction, games, and linear orderings; query completeness, distinguishability, and rational machines. Algebraic logic - ideals in quasivarieties of algebras; amalgamation and interpolation in abstract algebraic logic; symmetric intuitionistic connectives; matrix semantics for annotated logics; twenty questions with many-valued answers; Monadic De Morgan algebras. Proof systems -inductive theorem proving in hierarchical conditional specifications; general combinatorial principles in second order bounded arithmetic; towards an information logic; standardizing the N systems of Gentzen; translations between logics.

Notă biografică

Xavier Caicedo, Carlos Montenegro

Descriere

"Contains a balanced account of recent advances in set theory, model theory, algebraic logic, and proof theory, originally presented at the Tenth Latin American Symposium on Mathematical Logic held in Bogata, Columbia. Traces new interactions among logic, mathematics, and computer science. Features original research from over 30 well-known experts worldwide."