Problems in Set Theory, Mathematical Logic and the Theory of Algorithms

&
New York, NY, USA: Kluwer Academic Publishers (2003)
  Copy   BIBTEX

Abstract

Problems in Set Theory, Mathematical Logic and the Theory of Algorithms by I. Lavrov & L. Maksimova is an English translation of the fourth edition of the most popular student problem book in mathematical logic in Russian. It covers major classical topics in proof theory and the semantics of propositional and predicate logic as well as set theory and computation theory. Each chapter begins with 1-2 pages of terminology and definitions that make the book self-contained. Solutions are provided. The book is likely to become an essential part of curricula in logic.

Categories

Add categories

Keywords

Reprint years

ISBN(s)

9780306477126   0306477122   1461349575
View all bargains

Buy this book

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,963

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Foundations of mathematical logic.Haskell Brooks Curry - 1963 - New York: Dover Publications.
Book review: Igor Lavrov, Larisa Maksimova, problems in set theory, mathematical logic and the theory of algorithms, edited by Giovanna Corsi, kluwer academic / plenum publishers, 2003, us$141.00, pp. XII + 282, isbn 0-306-47712-2, hardbound. [REVIEW]Elliott Mendelson - 2005 - Studia Logica 79 (3):409-410.
Igor Lavrov and Larisa Maksimova, problems in set theory, mathematical logic and the theory of algorithms, edited by Giovanna Corsi, translated by Valentin Shehtman, kluwer academic/plenum publishers, new York, 2003, US$141.00, pp. XI + 282, ISBN 0-306-47712-2, hardbound. [REVIEW]Ewa Palka - 2005 - Studia Logica 81 (2):283-292.
Problems in Set Theory, Mathematical Logic and the Theory of Algorithms.Igor Lavrov, Larisa Maksimova & Giovanna Corsi - 2005 - Studia Logica 79 (3):409-410.
Problems in Set Theory, Mathematical Logic and the Theory of Algorithms.Igor Lavrov, Larisa Maksimova, Giovanna Corsi & Valentin Shehtman - 2005 - Studia Logica 81 (2):283-285.
On logic of complex algorithms.Helena Rasiowa - 1981 - Studia Logica 40 (3):289 - 310.
Mathematical logic, the theory of algorithms, and the theory of sets.S. I. Adi︠a︡n (ed.) - 1977 - Providence, R.I.: American Mathematical Society.
Book Review: IGOR LAVROV, LARISA MAKSIMOVA, Problems in Set Theory, Mathematical Logic and the Theory of Algorithms, Edited by Giovanna Corsi, Kluwer Academic / Plenum Publishers, 2003, US$141.00, pp. xii + 282, ISBN 0-306-47712-2, hardbound. [REVIEW]Elliott Mendelson - 2005 - Studia Logica 79 (3):409-410.
Problems in Set Theory, Mathematical Logic, and the Theory of Algorithms.John T. Baldwin - 2004 - Bulletin of Symbolic Logic 10 (2):222-223.
Algebraic Logic.Paul Richard Halmos - 2014 - New York, NY, USA: Chelsea.
Algebraic Semantics for Deductive Systems.W. Blok & J. Rebagliato - 2003 - Studia Logica 74 (1-2):153-180.
Algebraic semantics for deductive systems.W. J. Blok & J. Rebagliato - 2003 - Studia Logica 74 (1-2):153 - 180.
Categorical abstract algebraic logic: The largest theory system included in a theory family.George Voutsadakis - 2006 - Mathematical Logic Quarterly 52 (3):288-294.
How to be a structuralist all the way down.Elaine Landry - 2011 - Synthese 179 (3):435 - 454.
Theory of Deductive Systems and Its Applications.S. Iu Maslov, Michael Gelfond & Vladimir Lifschitz - 1987 - MIT Press (MA).

Analytics

Added to PP
2021-11-17

Downloads
5 (#1,541,296)

6 months
1 (#1,472,961)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references