Imatge de la portada

First-order logic

Veure altres versions (2)

Guardat en:

Dades bibliogràfiques
Autor principal:	Smullyan, Raymond M (Autor)
Format:	Llibre
Idioma:	anglès
Publicat:	Nueva York Dover 1995
Col·lecció:	Dover Books on Mathematics
Matèries:	Lógica matemática Cálculo proposicional Teoría de números Teoría de conjuntos Razonamiento CALCULO DE RELACIONES
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!

Ítems similars

First-order logic
per: Smullyan, Raymond M
Publicat: (1968)

Introduction to mathematical logic
per: Mendelson, Elliott
Publicat: (1964)

Introduction to logic
per: Suppes, Patrick
Publicat: (1957)

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

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

Introduction to mathematical logic
per: Mendelson, Elliott
Publicat: (1997)

The elements of mathematical logic
per: Rosenbloom, Paul C
Publicat: (1950)

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

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

A precis of mathematical logic
per: Bochénski, Innocentius M
Publicat: (1959)

Set theory and logic
per: Fraenkel, Abraham Adolf
Publicat: (1966)

Set theory and logic
per: Stoll, Robert R
Publicat: (1963)

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

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

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

Logic and reasoning in mathematics
per: Johnson, Donovan A
Publicat: (1963)

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

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

First-order logic
per: Smullyan, Raymond M
Publicat: (1968)

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

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

Introduction to logic
per: Copi, Irving M, et al.
Publicat: (2014)

Borel equivalence relations: structure and classification
per: Kanovei, Vladimir
Publicat: (2008)

Elements of mathematical logic
per: Novikov, P. S. (Petr Sergeevich)
Publicat: (1964)

Conference in Mathematical logic, London 70
per: Hodges, Wilfrid
Publicat: (1972)

Logic, computers, and sets
per: Wang, Hao
Publicat: (1970)

Foundations of set theory
per: Fraenkel, Abraham A, et al.
Publicat: (1958)

Lógica simbólica
per: Hegenberg, Leónidas
Publicat: (1966)

Elementary theory of sets
per: Dinkines, Flora
Publicat: (1964)

Introducción al simbolismo lógico
per: Bosch, Jorge E
Publicat: (1981)

Basic mathematics
per: Lang, Serge
Publicat: (1971)

Number theory with computer applications
per: Kumanduri, Ramanujachary, et al.
Publicat: (1998)

Intermediate analysis
per: Ramanujan, M. S, et al.
Publicat: (1970)

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

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

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

Ejercicios de matemáticas generales
per: Mena Lorca, Arturo
Publicat: (1980)

Languages with expressions of infinite length
per: Karp, Carol R
Publicat: (1964)

Matemáticas básicas
per: Springer, Clifford Harry, et al.
Publicat: (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
per: Beth, Evert W
Publicat: (1956)