Cover Image

QR Code

Logic, sets, and recursion

Main Author:	Causey, Robert L.
Published:	Boston: Jones and Bartlett Pub., 2001.
Edition:	Rev. ed..
Subjects:	Logique symbolique et matheþmatique Logic, Symbolic and mathematical

Similar Items

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

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

Mathematical logic Jpseph R. Shoenfield.
by: Shoenfield, Joseph R., 1927-, author

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)

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

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

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

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

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

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

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

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

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 read and do proofs : an introduction to mathematical thought processes Daniel Solow.
by: Solow, Daniel
Published: (2010)

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

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

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

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

Mathematics teacher education : critical international perspectives edited by Barbara Jaworski, Terry Wood, and Sandy Dawson.

Fuzzy logic and optimization editor, S. Nanda.

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

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

Classical recursion theory : the theory of functions and sets of natural numbers Piergiorgio Odifreddi.
by: Odifreddi, Piergiorgio
Published: (1992)

Function algebras on finite sets : a basic course on many-valued logic and clone theory Dietlinde Lau.
by: Lau, Dietlinde

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

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-

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

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)

Mathematical problems of control theory : an introduction Gennady A. Leonov.
by: Leonov
Published: (2001)