Omslagsbillede

First-order logic

Show other versions (2)

Saved in:

Bibliografiske detaljer
Hovedforfatter:	Smullyan, Raymond M (Author)
Format:	Bog
Sprog:	engelsk
Udgivet:	Nueva York Dover 1995
Serier:	Dover Books on Mathematics
Fag:	Lógica matemática Cálculo proposicional Teoría de números Teoría de conjuntos Razonamiento CALCULO DE RELACIONES
Tags:	Tilføj Tag Ingen Tags, Vær først til at tagge denne postø!

Lignende værker

First-order logic
af: Smullyan, Raymond M
Udgivet: (1968)

Introduction to mathematical logic
af: Mendelson, Elliott
Udgivet: (1964)

Introduction to logic
af: Suppes, Patrick
Udgivet: (1957)

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

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

Introduction to mathematical logic
af: Mendelson, Elliott
Udgivet: (1997)

The elements of mathematical logic
af: Rosenbloom, Paul C
Udgivet: (1950)

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

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

A precis of mathematical logic
af: Bochénski, Innocentius M
Udgivet: (1959)

Set theory and logic
af: Fraenkel, Abraham Adolf
Udgivet: (1966)

Set theory and logic
af: Stoll, Robert R
Udgivet: (1963)

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

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

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

Logic and reasoning in mathematics
af: Johnson, Donovan A
Udgivet: (1963)

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

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

First-order logic
af: Smullyan, Raymond M
Udgivet: (1968)

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

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

Introduction to logic
af: Copi, Irving M, et al.
Udgivet: (2014)

Borel equivalence relations: structure and classification
af: Kanovei, Vladimir
Udgivet: (2008)

Elements of mathematical logic
af: Novikov, P. S. (Petr Sergeevich)
Udgivet: (1964)

Conference in Mathematical logic, London 70
af: Hodges, Wilfrid
Udgivet: (1972)

Logic, computers, and sets
af: Wang, Hao
Udgivet: (1970)

Foundations of set theory
af: Fraenkel, Abraham A, et al.
Udgivet: (1958)

Lógica simbólica
af: Hegenberg, Leónidas
Udgivet: (1966)

Elementary theory of sets
af: Dinkines, Flora
Udgivet: (1964)

Introducción al simbolismo lógico
af: Bosch, Jorge E
Udgivet: (1981)

Basic mathematics
af: Lang, Serge
Udgivet: (1971)

Number theory with computer applications
af: Kumanduri, Ramanujachary, et al.
Udgivet: (1998)

Intermediate analysis
af: Ramanujan, M. S, et al.
Udgivet: (1970)

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

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

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

Ejercicios de matemáticas generales
af: Mena Lorca, Arturo
Udgivet: (1980)

Languages with expressions of infinite length
af: Karp, Carol R
Udgivet: (1964)

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