Cover Image

First-order logic

Show other versions (2)

Saved in:

Bibliographic Details
Main Author:	Smullyan, Raymond M (Author)
Format:	Book
Language:	English
Published:	Berlín Springer-Verlag 1968
Subjects:	Lógica matemática Cálculo proposicional Teoría de números Teoría de conjuntos Razonamiento CALCULO DE RELACIONES
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

First-order logic
by: Smullyan, Raymond M
Published: (1995)

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

Introduction to logic
by: Suppes, Patrick
Published: (1957)

Lógica básica para la verdad aristotélica
by: Sierra A., Manuel
Published: (2010)

Teoría y práctica de la lógica proposiciona
by: Montaner, Pedro, et al.
Published: (1997)

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

The elements of mathematical logic
by: Rosenbloom, Paul C
Published: (1950)

Eléments de Mathématique: théorie des ensembles
by: Bourbaki, Nicolás
Published: (1970)

Introduction a la logique mathématique
by: Novikov, P. S. (Petr Sergeevich)
Published: (1964)

A precis of mathematical logic
by: Bochénski, Innocentius M
Published: (1959)

Set theory and logic
by: Fraenkel, Abraham Adolf
Published: (1966)

Set theory and logic
by: Stoll, Robert R
Published: (1963)

Tableau systems for first order number theory and certain higher order theories
by: Toledo, Sue
Published: (1975)

Simposio latino-americano de lógica matemática: resumos de conferências e comunicacoes
Published: (1970)

Büchi's Monadic second order successor arithmetic
by: Siefkes, Dirk
Published: (1970)

Logic and reasoning in mathematics
by: Johnson, Donovan A
Published: (1963)

Matemática elemental moderna: estructura y método
by: Trejo, César A
Published: (1969)

Matemática elemental moderna: estructura y método
by: Trejo, César A
Published: (1977)

First-order logic
by: Smullyan, Raymond M
Published: (1968)

Lógica simbólica: una breve introducción
by: Gómez Calderón, Javier
Published: (1979)

Proceedings of the Summer School in Logic Leeds, 1967
Published: (1968)

Introduction to logic
by: Copi, Irving M, et al.
Published: (2014)

Borel equivalence relations: structure and classification
by: Kanovei, Vladimir
Published: (2008)

Elements of mathematical logic
by: Novikov, P. S. (Petr Sergeevich)
Published: (1964)

Conference in Mathematical logic, London 70
by: Hodges, Wilfrid
Published: (1972)

Logic, computers, and sets
by: Wang, Hao
Published: (1970)

Foundations of set theory
by: Fraenkel, Abraham A, et al.
Published: (1958)

Lógica simbólica
by: Hegenberg, Leónidas
Published: (1966)

Elementary theory of sets
by: Dinkines, Flora
Published: (1964)

Introducción al simbolismo lógico
by: Bosch, Jorge E
Published: (1981)

Basic mathematics
by: Lang, Serge
Published: (1971)

Number theory with computer applications
by: Kumanduri, Ramanujachary, et al.
Published: (1998)

Intermediate analysis
by: Ramanujan, M. S, et al.
Published: (1970)

Reglas para la dirección del espíritu
by: Descartes, René
Published: (1984)

Cómo desarrollar el razonamiento lógico matemático: manual de apoyo al profesor de kinder a 8 § básico
by: Cofré Jorquera, Alicia, et al.
Published: (2009)

Reglas para la dirección del espíritu
by: Descartes, René
Published: (2011)

Ejercicios de matemáticas generales
by: Mena Lorca, Arturo
Published: (1980)

Languages with expressions of infinite length
by: Karp, Carol R
Published: (1964)

Matemáticas básicas
by: Springer, Clifford Harry, et al.
Published: (1972)

L'existence en mathématiques: Conferénces faites à la Sorbonne au titre des échanges culturels franco-néerlandais du 29 Mars au 7 Avril 1954
by: Beth, Evert W
Published: (1956)