Cover Image

QR Code

Mathematical logic

Main Author:	Shoenfield, Joseph R., 1927-, author
Subjects:	Logic -- > symbolic and mathematical

Similar Items

Introduction to mathematical logic Elliott Mendelson.
by: Mendelson, Elliott
Published: (2001)

A course on mathematical logic Shashi Mohan Srivastava.
by: Srivastava, S.M.
Published: (2008)

A course in mathematical logic J.L.Bell, Moshe Machover.
by: Bell, J.L.
Published: (1977)

Handbook of mathematical logic edited by Jon Barwise, with the cooperation of H. J. Keisler ... [et al]..
Published: (1977)

Logic for mathematicians A. G. Hamilton.
by: Hamilton, A. G., 1943
Published: (1978)

Foundations of logic and mathematics : applications to computer science and cryptography Yves Nievergelt.
by: Nievergelt, Yves
Published: (2002)

Mathematical logic and theoretical computer science edited by David W. Kueker, Edgar G.K. Lopez-Escobar, Carl H. Smith.

Reductive logic and proof-search : proof theory, semantics, and control David J. Pym and Eike Ritter.
by: Pym, David J.
Published: (2004)

Introduction to mathematical structures and proofs Larry J. Gerstein.
by: Gerstein, Larry J.
Published: (2012)

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

Fuzzy logic theory and applications : Part I and Part II / by Lotfi A. Zadeh , Rafik A. Aliev.
by: Zadeh, Lotfi A.
Published: (2018)

Transition to higher mathematics : structure and proof Bob A. Dumas, John E. McCarthy.
by: Dumas, Bob A.
Published: (2007)

A concise introduction to pure mathematics Martin Liebeck.
by: Liebeck, M. W.
Published: (2011)

How to prove it : a structured approach Daniel J. Velleman.
by: Velleman, Daniel J.

Learning to reason : an introduction to logic, sets and relations Nancy Rodgers.
by: Rodgers, Nancy, 1941-
Published: (2000)

A concise introduction to pure mathematics Martin Liebeck.
by: Liebeck, M. W.
Published: (2006)

How to read and do proofs : an introduction to mathematical thought processes Daniel Solow.
by: Solow, Daniel
Published: (2010)

The mathematics of logic : a guide to completeness theorems and their applications Richard Kaye.
by: Kaye, Richard
Published: (2007)

A friendly introduction to mathematical logic Christopher C. Leary.
by: Leary
Published: (2000)

Principles of logic and logic programming G. Metakides, A. Nerode ; with the cooperation of A. Sinachopoulos.
by: Metakides, George, 1945-
Published: (1996)

Predicate logic : the semantic foundations of logic Richard L. Epstein.
by: Epstein, Richard L.
Published: (2001)

Fuzzy logic and optimization editor, S. Nanda.

Symbolic logic Dale Jacquette.
by: Jacquette, Dale
Published: (2001)

Fuzzy logic : mathematical tools for approximate reasoning Giangiacomo Gerla.
by: Gerla, Giangiacomo
Published: (2001)

The elements of advanced mathematics Steven G. Krantz.
by: Krantz,Steven G., 1951-

Fuzzy logic for beginners by Masao Mukaidono.
by: Mukaidono, Masao

Type-2 fuzzy logic : theory and applications Oscar Castillo and Patricia Melin.
by: Castillo, Oscar

Advanced Concepts and Applications of Fuzzy Logic Frank West.
by: West, Frank

Fuzzy logic and its application in technology and management editors, Debjani Chakraborty, S. Nanda, D. Dutta Majumder.

Logic and structured design for computer programmers Harold J.Rood.
by: Rood, Harold J.
Published: (2001)

Fuzzy equational logic Radim Belohlavek, Vilem Vychodil.
by: Belohlavek, Radim

Fuzzy-logic-based programming Chin-Liang Chang.
by: Chang, Chin-Liang, 1937-

Discrete mathematics and its applications Kenneth H. Rosen.
by: Rosen, Kenneth H.
Published: (2007)

Modeling the aesthetic of web page using fuzzy logic and neural network : Lim Khai Yin.
by: Lim, Khai Yin
Published: (2009)

Handbook of logic and language edited by Johan van Benthem, Alice ter Meulen.
Published: (1997)

Handbook of logic and language [edited by] Johan van Benthem, Alice ter Meulen.
Published: (2011)

Logically determined design : clockless system design with NULL convention logic Karl M. Fant.
by: Fant
Published: (2005)

Higher order logic theorem proving and its applications : proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications--HOL '92.
Published: (1993)

Introductory real analysis Frank Dangello, Michael Seyfried.
by: Dangello, Frank
Published: (2000)

Pengantar logik dan pengabstrakan untuk sains komputer Rosni Abdullah, Tang Enya Kong.
by: Rosni Abdullah
Published: (2000)