Ebook > Nonfiction > Philosophie / Religion > Philosophie générale > 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]

Support

Couverture du 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.

€113.67

Achetez cet ebook et obtenez-en 1 de plus GRATUITEMENT !

Langue Anglais ● Format PDF ● ISBN 9781461501855 ● Éditeur G. Corsi ● Maison d’édition Springer US ● Publié 2012 ● Téléchargeable 3 fois ● Devise EUR ● ID 4711806 ● Protection contre la copie Adobe DRM

Nécessite un lecteur de livre électronique compatible DRM

Plus d’ebooks du même auteur(s) / Éditeur

Igor Lavrov Larisa Maksimova G. Corsi

48 904 Ebooks dans cette catégorie

Couverture du Graham Parkes: How to Think about the Climate Crisis

Graham Parkes: How to Think about the Climate Crisis

**Choice Outstanding Academic Title, 2021** Coping with the climate crisis is the greatest challenge we face as a species. We know the main task is to reduce our emissions as rapidly as possible …

Couverture du Amy R. (Hofstra University, USA) Baehr & Asha (University of Iowa, USA) Bhandary: Caring for Liberalism

Amy R. (Hofstra University, USA) Baehr & Asha (University of Iowa, USA) Bhandary: Caring for Liberalism

Caring for Liberalism brings together chapters that explore how liberal political theory, in its many guises, might be modified or transformed to take the fact of dependency on board. In addressing t …

Couverture du D.J. Manning & T.J. Robinson: The Place of Ideology in Political Life

D.J. Manning & T.J. Robinson: The Place of Ideology in Political Life

First published in 1985, The Place of Ideology in Political Life explores the concept of ‘ideology’ in terms of its philosophical and intellectual underpinnings. Ideology is a term much bandied about …

Couverture du Moncure Daniel Conway: Thomas Paine: Life and Works

Moncure Daniel Conway: Thomas Paine: Life and Works

Thomas Paine was a hugely influential revolutionary pamphleteer, whose writings were instrumental in bringing about some of the greatest political changes the world has seen. Paine »s enduring import …

Couverture du Hilal (Centre for the Study of Developing Societies, New Delhi, India) Ahmed & Mohd. Sanjeer (CSDS, India) Alam: Companion to Indian Democracy

Hilal (Centre for the Study of Developing Societies, New Delhi, India) Ahmed & Mohd. Sanjeer (CSDS, India) Alam: Companion to Indian Democracy

This book presents a comprehensive overview of the contemporary experiences of democracy in India. It explores the modes by which democracy as an idea, and as a practice, is interpreted, enforced, an …

Couverture du Joel Pust: Intuitions as Evidence

Joel Pust: Intuitions as Evidence

First published in 2000. Starting with Kripke »s quotation on intuitive content being philosophic evidence, in this essay, the author aims to demonstrate how contemporary philosophy relies on …

Couverture du Adrian (University of Stirling, UK) Haddock & Rachael (University of Liverpool, UK) Wiseman: The Anscombean Mind

Adrian (University of Stirling, UK) Haddock & Rachael (University of Liverpool, UK) Wiseman: The Anscombean Mind

G. E. M. Anscombe (1919–2001) is one of the most important philosophers of the twentieth century. Known primarily for influencing research in action theory and moral philosophy, her work also has rel …

Couverture du Teresa (University of Barcelona, Spain) Marques & Chiara (University of Bologna, Italy) Valentini: Collective Action, Philosophy and Law

Teresa (University of Barcelona, Spain) Marques & Chiara (University of Bologna, Italy) Valentini: Collective Action, Philosophy and Law

Collective Action, Philosophy and Law brings together two important strands of philosophical analysis. It combines general philosophical inquiry into collective agency with analyses of specific quest …