Imagen de Portada

First-order logic

Mostrar otras versiones (2)

Guardado en:

Detalles Bibliográficos
Autor principal:	Smullyan, Raymond M (Autor)
Formato:	Libro
Lenguaje:	inglés
Publicado:	Nueva York Dover 1995
Colección:	Dover Books on Mathematics
Materias:	Lógica matemática Cálculo proposicional Teoría de números Teoría de conjuntos Razonamiento CALCULO DE RELACIONES
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

First-order logic
por: Smullyan, Raymond M
Publicado: (1968)

Introduction to mathematical logic
por: Mendelson, Elliott
Publicado: (1964)

Introduction to logic
por: Suppes, Patrick
Publicado: (1957)

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

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

Introduction to mathematical logic
por: Mendelson, Elliott
Publicado: (1997)

The elements of mathematical logic
por: Rosenbloom, Paul C
Publicado: (1950)

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

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

A precis of mathematical logic
por: Bochénski, Innocentius M
Publicado: (1959)

Set theory and logic
por: Fraenkel, Abraham Adolf
Publicado: (1966)

Set theory and logic
por: Stoll, Robert R
Publicado: (1963)

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

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

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

Logic and reasoning in mathematics
por: Johnson, Donovan A
Publicado: (1963)

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

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

First-order logic
por: Smullyan, Raymond M
Publicado: (1968)

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

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

Introduction to logic
por: Copi, Irving M, et al.
Publicado: (2014)

Borel equivalence relations: structure and classification
por: Kanovei, Vladimir
Publicado: (2008)

Elements of mathematical logic
por: Novikov, P. S. (Petr Sergeevich)
Publicado: (1964)

Conference in Mathematical logic, London 70
por: Hodges, Wilfrid
Publicado: (1972)

Logic, computers, and sets
por: Wang, Hao
Publicado: (1970)

Foundations of set theory
por: Fraenkel, Abraham A, et al.
Publicado: (1958)

Lógica simbólica
por: Hegenberg, Leónidas
Publicado: (1966)

Elementary theory of sets
por: Dinkines, Flora
Publicado: (1964)

Introducción al simbolismo lógico
por: Bosch, Jorge E
Publicado: (1981)

Basic mathematics
por: Lang, Serge
Publicado: (1971)

Number theory with computer applications
por: Kumanduri, Ramanujachary, et al.
Publicado: (1998)

Intermediate analysis
por: Ramanujan, M. S, et al.
Publicado: (1970)

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

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

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

Ejercicios de matemáticas generales
por: Mena Lorca, Arturo
Publicado: (1980)

Languages with expressions of infinite length
por: Karp, Carol R
Publicado: (1964)

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