E-bok > Facklitteratur > Filosofi / religion > Filosofi - allmänt > Igor Lavrov & Larisa Maksimova: Problems in Set Theory, Mathematical Logic and the Theory of Algorithms (PDF)

Igor Lavrov & Larisa Maksimova
Problems in Set Theory, Mathematical Logic and the Theory of Algorithms [PDF ebook]

Stöd

Omslag till Igor Lavrov & Larisa Maksimova: Problems in Set Theory, Mathematical Logic and the Theory of Algorithms (PDF)

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.

€114.52

Köp den här e-boken och få 1 till GRATIS!

Språk Engelska ● Formatera PDF ● ISBN 9781461501855 ● Redaktör G. Corsi ● Utgivare Springer US ● Publicerad 2012 ● Nedladdningsbara 3 gånger ● Valuta EUR ● ID 4711806 ● Kopieringsskydd Adobe DRM

Kräver en DRM-kapabel e-läsare

Fler e-böcker från samma författare (r) / Redaktör

Igor Lavrov Larisa Maksimova G. Corsi

49 310 E-böcker i denna kategori

Omslag till Hurbert L Dreyfus: On the Internet

Hurbert L Dreyfus: On the Internet

Drawing on a diverse array of thinkers from Plato to Kierkegaard, On the Internet is one of the first books to bring philosophical insight to the debate on how far the internet can and cannot take us …

Omslag till Dr Jerome (The University of Manchester, UK) Brillaud & Professor Virginie (Harvard University, USA) Greene: Encounters in the Arts, Literature, and Philosophy

Dr Jerome (The University of Manchester, UK) Brillaud & Professor Virginie (Harvard University, USA) Greene: Encounters in the Arts, Literature, and Philosophy

Encounters in the Arts, Literature, and Philosophy focuses on chance and scripted encounters as sites of tensions and alliances where new forms, ideas, meanings, interpretations, and theories can eme …

Omslag till Anthony C Patton: End of Infinity

Anthony C Patton: End of Infinity

The idea of infinity stands at the intersection of mathematics and philosophy. As da Vinci said, "Arithmetic is a computational science in its calculations, but it is of no avail in dealing with …

Omslag till Edward Hacker & Steve Moore: I Ching

Edward Hacker & Steve Moore: I Ching

With over one thousand entries covering a diverse range of sources including books, articles, unpublished dissertations, taped lectures, devices and software, this is the most comprehensive annotated …

Omslag till Ben Mepham: Food Ethics

Ben Mepham: Food Ethics

None of us can avoid being interested in food. Our very existence depends on the supply of safe, nutritious foods. It is then hardly surprising that food has become the focus of a wide range of ethic …

Omslag till Conor Cunningham: Genealogy of Nihilism

Conor Cunningham: Genealogy of Nihilism

This text re-reads Western history in the light of nihilistic logic, which pervades two millennia of Western thought. From Parmenides to Alain Badiou, via Plotinus, Avicenna, Duns Scotus, Ockham, Des …

Omslag till Bob Sandmeyer: Husserl''s Constitutive Phenomenology

Bob Sandmeyer: Husserl”s Constitutive Phenomenology

If Edmund Husserl”s true philosophy lay in his unpublished research manuscripts, as he argues, then it is in these – rather than the ’introductions’ and fragmentary studies he published during his l …

Omslag till Chloe Taylor: The Culture of Confession from Augustine to Foucault

Chloe Taylor: The Culture of Confession from Augustine to Foucault

Drawing on the work of Foucault and Western confessional writings, this book challenges the transhistorical and commonsense views of confession as an innate impulse resulting in the psychological lib …

Omslag till David-Hillel Ruben: Explaining Explanation

David-Hillel Ruben: Explaining Explanation

This book introduces readers to the topic of explanation. The insights of Plato, Aristotle, J.S. Mill and Carl Hempel are examined, and are used to argue against the view that explanation is merely a …

Omslag till Assistant Professor Tiger C. Roholt: Key Terms in Philosophy of Art

Assistant Professor Tiger C. Roholt: Key Terms in Philosophy of Art

Key Terms in Philosophy of Art offers a clear, concise and accessible introduction to a vital sub-field of philosophy. The book offers a comprehensive overview of the key terms, concepts, thinkers an …

Nästa sida >>>