The classical decision problem /

Deducibility and decidability /
by: Gill, R. R. Rockingham, 1944-
Published: (1990)

Countable Boolean algebras and decidability /
by: Goncharov, S. S.
Published: (1997)

Thinking about acting : logical foundations for rational decision making /
by: Pollock, John L.
Published: (2006)

Reachability problems : third international workshop, RP 2009, Palaiseau, France, September 23-25, 2009 : proceedings /
Published: (2009)

Reachability problems : 4th international workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010 : proceedings /
Published: (2010)

Logic colloquium '85 : proceedings of the colloquium held in Orsay, France July 1985 /
Published: (1987)

Nomological statements and admissible operations /
Published: (1954)

Fuzzy logic and mathematics : a historical perspective /
by: Bělohlávek, Radim
Published: (2017)

Mechanical logic in three-dimensional space /
by: Auletta, Gennaro
Published: (2013)

Logicism renewed : logical foundations for mathematics and computer science, lecture notes in logic 23 /
by: Gilmore, Paul C. (Paul Carl), 1925-
Published: (2005)

The Notre Dame lectures /
Published: (2005)

A survey of mathematical logic /
Published: (1963)

Elements of mathematical logic (Model theory)
by: Kreisel, Georg, et al.
Published: (1967)

Realizability : an introduction to its categorical side /
by: Oosten, Jaap van
Published: (2008)

Logic and structure /
by: Dalen, D. van (Dirk), 1932-
Published: (1983)

Quantification in nonclassical logic /
by: Gabbay, Dov M., 1945-
Published: (2009)

Logic Colloquium '88 : proceedings of the Colloquium held in Padova, Italy August 22-31, 1988 /
Published: (1989)

Matrix logic /
by: Stern, August, 1945-
Published: (1988)

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

Foundations without foundationalism : a case for second-order logic /
by: Shapiro, Stewart, 1951-
Published: (1991)

Picture fuzzy logic and its applications in decision making problems /
by: Jana, Chiranjibe, 1984-, et al.
Published: (2024)

Handbook of mathematical logic /
Published: (1977)

Reflections on the foundations of mathematics: essays in Honor of Solomon Feferman : lecture notes in logic 15 /
Published: (2002)

Mathematical logic /
by: Shoenfield, Joseph R. (Joseph Robert), 1927-
Published: (2001)

Handbook of the logic of argument and inference : the turn towards the practical /
Published: (2002)

Logic Colloquium '99 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Utrecht, Netherlands, August 1-6, 1999 /
Published: (2004)

Intuitionism and proof theory : Proceedings of the summer conference ; Aug 1968 /
Published: (1970)

Contributions to mathematical logic : Proceedings of the Logic Colloquium, Hannover 1966 /
Published: (1968)

Proceedings of the Herbrand symposium : Logic Colloquium '81 ... held in Marseilles, France, July 1981 /
Published: (1982)

Mathematical interpretation of formal systems
Published: (1955)

Collected works.
by: Gödel, Kurt
Published: (2023)

Collected works.
by: Gödel, Kurt
Published: (2023)

Intuitionism : an introduction /
Published: (1956)

Introduction to mathematical logic /
by: Hermes, Hans
Published: (1973)

Introduction to mathematical logic /
by: Mendelson, Elliott
Published: (1987)

Relation, formule logique, compacité, complétude / par Roland Fraïssé.
by: Fraïssé, Roland
Published: (1967)