The classical decision problem
Saved in:
| Main Author: | Borger, Egon |
|---|---|
| Other Authors: | Gradel, Erich, Gurevich, Yuri |
| Format: | Book |
| Language: | English |
| Published: |
Berlin, Germany
Springer-Verlag
1987
|
| Series: | Perspectives in mathematical logic
|
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Handbook of satisfiability
Published: (2009)
Published: (2009)
An introduction to non-classical logic
by: PriestlhGraham
by: PriestlhGraham
Logic of mathematics a modern course of classical logic
by: Adamowics
Published: (1997)
by: Adamowics
Published: (1997)
Pengantar logik
by: Hamidah Abdulhamid
Published: (1991)
by: Hamidah Abdulhamid
Published: (1991)
Logic and its applications
by: Burke, Edmund
Published: (1996)
by: Burke, Edmund
Published: (1996)
Logic design theory
by: Biswas
Published: (1993)
by: Biswas
Published: (1993)
The Game of Logic
by: Carroll, Lewis, 1832-1898
Published: (2003)
by: Carroll, Lewis, 1832-1898
Published: (2003)
Understanding computers' intelligence celebrating the 100th volume of Fundamenta Informaticae in honour of Helena Rosiowa
Published: (2010)
Published: (2010)
Symbolic Logic
by: Carroll, Lewis, 1832-1898
Published: (2009)
by: Carroll, Lewis, 1832-1898
Published: (2009)
Classical algebra its nature, origins, and uses
by: Cooke, Roger
Published: (2008)
by: Cooke, Roger
Published: (2008)
The digital and the real world computational foundations of mathematics, science, technology, and philosophy
by: Mainzer, Klaus
Published: (2018)
by: Mainzer, Klaus
Published: (2018)
Fuzzy logic with engineering applications
by: Ross, Timothy J.
Published: (2010)
by: Ross, Timothy J.
Published: (2010)
Discrete mathematics and its applications
by: RosenlhKenneth H.
by: RosenlhKenneth H.
Introduction to digital logic design
by: Hayes
Published: (1993)
by: Hayes
Published: (1993)
Mantik dalam babak pemikiran ilmiah tamadun manusia
by: Mat Rofa Ismail
Published: (1997)
by: Mat Rofa Ismail
Published: (1997)
Logical approach to systems theory
by: Takahashi, Shingo 1960-
Published: (1995)
by: Takahashi, Shingo 1960-
Published: (1995)
Introduction to mathematical logic
by: Mendelson, Elliott
Published: (1997)
by: Mendelson, Elliott
Published: (1997)
100% mathematical proof
by: Garnier, Rowan
Published: (1996)
by: Garnier, Rowan
Published: (1996)
How to read and do proofs an introduction to mathematical thought processes
by: Solow
Published: (2002)
by: Solow
Published: (2002)
From logic to computing
by: McArthur
Published: (1991)
by: McArthur
Published: (1991)
Asas bermantik dan berteori set bagi matemik Bagian pertama pendekatan moden terhadap matematik tulen
by: ZulauflhAchim
by: ZulauflhAchim
The essence of logic
by: Kelly
Published: (1997)
by: Kelly
Published: (1997)
Discrete mathematics and its applications
by: Rosen, Kenneth H.
Published: (2013)
by: Rosen, Kenneth H.
Published: (2013)
Optimization and computational logic
by: McAloon
Published: (1996)
by: McAloon
Published: (1996)
Problems in classical electromagnetism 157 exercises with solutions
by: Macchi, Andrea, et al.
Published: (2017)
by: Macchi, Andrea, et al.
Published: (2017)
A beginner's guide to programming logic and design
by: Farrell, Joyce
Published: (2013)
by: Farrell, Joyce
Published: (2013)
Programming logic and design introductory
by: Farrell, Joyce
Published: (2015)
by: Farrell, Joyce
Published: (2015)
Programming logic and design comprehensive
by: Farrell, Joyce
Published: (2015)
by: Farrell, Joyce
Published: (2015)
Introduction to logic design
by: Marcovitz, Alan B,
Published: (2010)
by: Marcovitz, Alan B,
Published: (2010)
Introduction to logic design
by: Marcovitz, Alan B.
Published: (2005)
by: Marcovitz, Alan B.
Published: (2005)
Introduction to logic design
by: Marcovitz
Published: (2008)
by: Marcovitz
Published: (2008)
Fundamentals of logic design
by: Roth lhCharles H.Jr
Published: (2004)
by: Roth lhCharles H.Jr
Published: (2004)
Logic and philosophy a modern introduction
by: Tidman, Paul, et al.
Published: (1998)
by: Tidman, Paul, et al.
Published: (1998)
Logic, Inductive and Deductive
by: Minto, William, 1845-1893
Published: (2010)
by: Minto, William, 1845-1893
Published: (2010)
Deductive Logic
by: Stock, St. George William Joseph, 1850-
Published: (2004)
by: Stock, St. George William Joseph, 1850-
Published: (2004)
A concise introduction to logic c Patrick J. Hurley
by: Hurley, Patrick J
Published: (2015)
by: Hurley, Patrick J
Published: (2015)
Similar Items
-
Handbook of satisfiability
Published: (2009) -
An introduction to non-classical logic
by: PriestlhGraham -
Logic of mathematics a modern course of classical logic
by: Adamowics
Published: (1997) -
Pengantar logik
by: Hamidah Abdulhamid
Published: (1991) -
Logic and its applications
by: Burke, Edmund
Published: (1996)


