An Introduction to Gödel's Theorems

An Introduction to Gödel's Theorems

Dades bibliogràfiques
Autor principal:	Peter Smith
Format:	Electrònic eBook
Idioma:	English
Publicat:	Cambridge University Press, 03/05/2013
Edició:	2
Col·lecció:	Cambridge Introductions to Philosophy
Matèries:	Logic Logic, categories and Sets Electronic books
Accés en línia:	Full text available on Cambridge University Press Off-campus access

Ítems similars

Kurt Gödel and the Foundations of Mathematics
per: Edited by Matthias Baaz, Christos H. Papadimitriou, Hilary W. Putnam, Dana S. Scott, Charles L. Harper, Jr
Publicat: (2011)

Lambda Calculus with Types
per: Henk Barendregt, Wil Dekkers, Richard Statman
Publicat: (2013)

An Introduction to Category Theory
per: Harold Simmons
Publicat: (2012)

Programming with Higher-Order Logic
per: Dale Miller, Gopalan Nadathur
Publicat: (2012)

Fuzzy sets and fuzzy logic : theory and applications /
per: Klir, George J., 1932-
Publicat: (2015)

Introduction to logic /
per: Copi, Irving M.
Publicat: (1986)

Programming logic and design : comprehensive /
per: Farrell, Joyce
Publicat: (2011)

Basics of logic /
per: Barker, Stephen Francis
Publicat: (1986)

Our logic for discussion and persuasion /
per: Ha, Byunghak
Publicat: (2000)

Logic Journal of the IGPL

Digital designing with programmable logic devices /
per: Carter, John W., 1951-
Publicat: (1997)

Logic and computer design fundamentals /
per: Mano, M. Morris, 1927-
Publicat: (2000)

Persuasion is logic /
per: Hoon-tae, Jeong

Digital logic and computer design /
per: Mano, M. Morris, 1927-
Publicat: (1979)

Digital logic and computer design /
per: Mano, M. Morris, 1927-
Publicat: (1979)

Nominal Sets
per: Andrew M. Pitts
Publicat: (2013)

Practical Foundations for Programming Languages
per: Robert Harper
Publicat: (2013)

Pearls of Functional Algorithm Design
per: Richard Bird
Publicat: (2013)

The logic of language
per: Seuren, Pieter A. M.

Transitions and Trees
per: Hans Hüttel
Publicat: (2012)

Journal of Logic and Computation

Philosophia Mathematica

Philosophia Mathematica

Digital design : a pragmatic approach /
per: Johnson, Everett L.
Publicat: (1987)

How to prove it : a structured approach /
per: Velleman, Daniel J.
Publicat: (2006)

Symbolic logic /
per: Copi, Irving M.
Publicat: (1979)

Digital design /
per: Mano, M. Morris, 1927-
Publicat: (1991)

Introduction to Bisimulation and Coinduction
per: Davide Sangiorgi
Publicat: (2012)

The quest for reality
per: Stenholm, Stig

Implementation of fuzzy logic in autonomous irrigation system for efficient use of water
per: Haque, Mohammad Mahbubul, et al.
Publicat: (2018)

Study and analysis of current trends in advertising in Bangladesh- a case study on Film Logic
per: Hasan, Shadman
Publicat: (2019)

A study of using fuzzy logic based system for adaptation of precise insulin dosage for type II diabetes patients
per: Prima, Afroza Afrin
Publicat: (2019)

Digital and microprocessor fundamentals : theory and applications /
per: Kleitz, William
Publicat: (2000)

Digital logic and computer design /
per: Mano, M. Morris, 1927-
Publicat: (1979)

Digital design : basic concepts and principles /
per: Karim, Mohammad A.
Publicat: (2008)

Fuzzy modeling and genetic algorithms for data mining and exploration /
per: Cox, Earl
Publicat: (2005)

Digital fundamentals /
per: Floyd, Thomas L.
Publicat: (2000)

Logic, language, and meaning /
per: Gamut, L. T. F.
Publicat: (1991)

Logic of paradox : (the well of wisdom 5) /
per: Nozaki, Akihiro

Fundamentals of digital logic with VHDL design /
per: Brown, Stephen D.
Publicat: (2000)