The classical decision problem

New York: Springer. Edited by Erich Grädel & Yuri Gurevich (1997)
  Copy   BIBTEX

Abstract

This book offers a comprehensive treatment of the classical decision problem of mathematical logic and of the role of the classical decision problem in modern computer science. The text presents a revealing analysis of the natural order of decidable and undecidable cases and includes a number of simple proofs and exercises.

Categories

Keywords

Reprint years

2001

Call number

QA9.65.B64 1997

ISBN(s)

354057073X   3540423249   9783540423249
View all bargains

Buy this book

Links

PhilArchive



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

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

Wittgenstein on Mathematical Meaningfulness, Decidability, and Application.Victor Rodych - 1997 - Notre Dame Journal of Formal Logic 38 (2):195-224.
Decidability and generalized quantifiers.Andreas Baudisch (ed.) - 1980 - Berlin: Akademie Verlag.
Deducibility and decidability.R. R. Rockingham Gill - 1990 - New York: Routledge.
On the completeness of a certain system of arithmetic of whole numbers in which addition occurs as the only operation.Mojżesz Presburger & Dale Jabcquette - 1991 - History and Philosophy of Logic 12 (2):225-233.
Solvable cases of the decision problem.Wilhelm Ackermann - 1954 - Amsterdam,: North-Holland Pub. Co..
The elements of mathematical logic.Paul Charles Rosenbloom - 1950 - New York]: Dover Publications.
The classical decision problem, Egon börger, Erich grädel, and Yuri Gurevich.Maarten Marx - 1999 - Journal of Logic, Language and Information 8 (4):478-481.
Why do informal proofs conform to formal norms?Jody Azzouni - 2009 - Foundations of Science 14 (1-2):9-26.
Quine's 'limits of decision'.William C. Purdy - 1999 - Journal of Symbolic Logic 64 (4):1439-1466.
Issues of decidability and tractability.Witold Marciszewski (ed.) - 2006 - Białystok: University of Białystok.

Analytics

Added to PP
2009-01-28

Downloads
4 (#1,608,067)

6 months
3 (#987,746)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Temporal logic.Antony Galton - 2008 - Stanford Encyclopedia of Philosophy.
The Range of Modal Logic: An essay in memory of George Gargov.Johan van Benthem - 1999 - Journal of Applied Non-Classical Logics 9 (2):407-442.

View all 15 citations / Add more citations

References found in this work

No references found.

Add more references