Computability and unsolvability

Computability and unsolvability

Bibliographic Details
Main Author:	Davis, Martin, 1928-
Format:	Book
Language:	English
Published:	New York Dover Publications 1982
Subjects:	Μαθηματικά > Υπολογιστική Λογική, Συμβολική και μαθηματική

Similar Items

Εισαγωγή στην υπολογιστική
by: Τουρλάκης, Γιώργος
Published: (1994)

Elements of the theory of computation
by: Lewis, Harry R., et al.
Published: (1998)

Descriptive complexity /
by: Immerman, Neil, 1953-
Published: (1999)

Εφαρμογή των κινητικών δομών δεδομένων σε προβλήματα της υπολογιστικής γεωμετρίας
by: Τσιμά, Αλεξάνδρα
Published: (2006)

Complexity and structure
by: Schöning, Uwe, 1955-
Published: (1986)

Computability and logic
by: Boolos, George S.
Published: (2002)

Four colours suffice how the map problem was solved
by: Wilson, Robin J.
Published: (2002)

Foundations of abstract mathematics
by: Kurtz, David C.
Published: (1992)

Τα θεμέλια των μαθηματικών /
by: Stewart, Ian, 1945-
Published: (2020)

Εισαγωγή στη θεωρία υπολογισμού /
by: Sipser, Michael
Published: (2008)

Εισαγωγή στη θεωρία υπολογισμού /
by: Sipser, Michael
Published: (2012)

Εισαγωγή στη θεωρία υπολογισμού /
by: Sipser, Michael
Published: (2007)

Εισαγωγή στη θεωρία υπολογισμού /
by: Sipser, Michael
Published: (2020)

Mathematical logic for computer science
by: Mordechai, Ben-Ari
Published: (2001)

Structures in logic and computer science a selection of essays in honor of A. Ehrenfeucht
Published: (1997)

The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory /
by: Gödel, Kurt
Published: (1940)

Model theory for infinitary logic : logic with countable conjunctions and finite quantifiers /
by: Keisler, H. Jerome
Published: (1971)

Modern uses of multiple-valued logic invited papers from the Fifth International Symposium on Multiple-Valued Logic, held at Indiana University, Bloomington, Indiana, May 13-16, 1975
Published: (1977)

Introduction to Logic and to the methology of deductive sciences
by: Tarski, Alfred
Published: (1965)

A guide to classical and modern model theory
by: Marcja, A. ((Annalisa)), et al.
Published: (2003)

Logic, sets, and recursion
by: Causey, Robert L.
Published: (2001)

Proofs and refutations the logic of mathematical discovery
by: Lakatos, Imre
Published: (1976)

The search for certainty a philosophical account of foundations of mathematics
by: Gianquinto, M. ((Marcus))
Published: (2002)

Proofs and refutations the logic of mathematical discovery
by: Lakatos, Imre
Published: (1981)

Model-theoretic logics
Published: (1985)

A formalization of set theory without variables
by: Tarski, Alfred
Published: (1987)

Temporal logics and their applications
Published: (1987)

Category theory and computer science proceedings...[of] 7th International Conference, CTCS '97, Santa Margherita Ligure, Italy, September 4-6, 1997
Published: (1997)

From here to infinity
by: Stewart, Ian, 1945-
Published: (1996)

Interpolation and aproximation
by: Davis, Philip J.
Published: (1963)

Computability, complexity, logic /
by: Börger, E. 1946- (Egon)
Published: (1989)

The continuum and other types of serial order
by: Huntington, Edward V.
Published: (1917)

The divine proportion a study in mathematical beauty
by: Huntley, H. E.
Published: (1970)

Ασαφή δίκτυα Petri
by: Κυρίτσης, Χαρίλαος
Published: (2008)

Logic and discrete mathematics a computer science perspective
by: Grassmann, Winfried Karl
Published: (1996)

Logic for physicists /
by: Pereyra, Nicolas A.
Published: (2018)

Logic for mathematics and computer science
by: Burris, Stanley N.
Published: (1998)

Enumerability, decidability, computability : an introduction to the theory of recursive functions /
by: Hermes, Hans
Published: (1969)

Extensional constructs in intensional type theory
by: Hofmann, Martin
Published: (1997)

The principles of mathematics revisited
by: Hintikka, Jaakko, 1929-
Published: (1998)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών