Issues of decidability and tractability

(ed.)
Białystok: University of Białystok (2006)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Call number

QA9.65.I87 2006

ISBN(s)

9788374311083   8374311088

Links

PhilArchive



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

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

Deducibility and decidability.R. R. Rockingham Gill - 1990 - New York: Routledge.
Decidability and generalized quantifiers.Andreas Baudisch (ed.) - 1980 - Berlin: Akademie Verlag.
Introduction to mathematical logic.Michał Walicki - 2012 - Hackensack, NJ: World Scientific.
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.
Completeness before Post: Bernays, Hilbert, and the development of propositional logic.Richard Zach - 1999 - Bulletin of Symbolic Logic 5 (3):331-366.
The classical decision problem.Egon Boerger - 1997 - New York: Springer. Edited by Erich Grädel & Yuri Gurevich.
Mathematical logic.Willard Van Orman Quine - 1951 - Cambridge,: Harvard University Press.
A course in mathematical logic.J. L. Bell - 1977 - New York: sole distributors for the U.S.A. and Canada American Elsevier Pub. Co.. Edited by Moshé Machover.
Small substructures and decidability issues for first-order logic with two variables.Emanuel Kieroński & Martin Otto - 2012 - Journal of Symbolic Logic 77 (3):729-765.
Wittgenstein on Mathematical Meaningfulness, Decidability, and Application.Victor Rodych - 1997 - Notre Dame Journal of Formal Logic 38 (2):195-224.
From Peirce to Skolem: a neglected chapter in the history of logic.Geraldine Brady - 2000 - New York: North-Holland/Elsevier Science BV.
Thought and logic: the debates between German-speaking philosophers and symbolic logicians at the turn of the 20th century.Jarmo Pulkkinen - 2005 - New York: P. Lang.
Mathematical logic: a first course.Joel W. Robbin - 1969 - Mineola, N.Y.: Dover Publications.
Principles of mathematical logic.David Hilbert - 1950 - Providence, R.I.: AMS Chelsea. Edited by W. Ackermann & Robert E. Luce.
Popular lectures on mathematical logic.Hao Wang - 1981 - New York: Dover Publications.

Analytics

Added to PP
2011-06-01

Downloads
5 (#1,505,296)

6 months
4 (#818,853)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Witold Marciszewski
Warsaw University

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references