Copertina

First-order logic

Mostra altre versioni (2)

Salvato in:

Dettagli Bibliografici
Autore principale:	Smullyan, Raymond M (Autore)
Natura:	Libro
Lingua:	inglese
Pubblicazione:	Nueva York Dover 1995
Serie:	Dover Books on Mathematics
Soggetti:	Lógica matemática Cálculo proposicional Teoría de números Teoría de conjuntos Razonamiento CALCULO DE RELACIONES
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

First-order logic
di: Smullyan, Raymond M
Pubblicazione: (1968)

Introduction to mathematical logic
di: Mendelson, Elliott
Pubblicazione: (1964)

Introduction to logic
di: Suppes, Patrick
Pubblicazione: (1957)

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

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

Introduction to mathematical logic
di: Mendelson, Elliott
Pubblicazione: (1997)

The elements of mathematical logic
di: Rosenbloom, Paul C
Pubblicazione: (1950)

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

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

A precis of mathematical logic
di: Bochénski, Innocentius M
Pubblicazione: (1959)

Set theory and logic
di: Fraenkel, Abraham Adolf
Pubblicazione: (1966)

Set theory and logic
di: Stoll, Robert R
Pubblicazione: (1963)

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

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

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

Logic and reasoning in mathematics
di: Johnson, Donovan A
Pubblicazione: (1963)

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

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

First-order logic
di: Smullyan, Raymond M
Pubblicazione: (1968)

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

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

Introduction to logic
di: Copi, Irving M, et al.
Pubblicazione: (2014)

Borel equivalence relations: structure and classification
di: Kanovei, Vladimir
Pubblicazione: (2008)

Elements of mathematical logic
di: Novikov, P. S. (Petr Sergeevich)
Pubblicazione: (1964)

Conference in Mathematical logic, London 70
di: Hodges, Wilfrid
Pubblicazione: (1972)

Logic, computers, and sets
di: Wang, Hao
Pubblicazione: (1970)

Foundations of set theory
di: Fraenkel, Abraham A, et al.
Pubblicazione: (1958)

Lógica simbólica
di: Hegenberg, Leónidas
Pubblicazione: (1966)

Elementary theory of sets
di: Dinkines, Flora
Pubblicazione: (1964)

Introducción al simbolismo lógico
di: Bosch, Jorge E
Pubblicazione: (1981)

Basic mathematics
di: Lang, Serge
Pubblicazione: (1971)

Number theory with computer applications
di: Kumanduri, Ramanujachary, et al.
Pubblicazione: (1998)

Intermediate analysis
di: Ramanujan, M. S, et al.
Pubblicazione: (1970)

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

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

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

Ejercicios de matemáticas generales
di: Mena Lorca, Arturo
Pubblicazione: (1980)

Languages with expressions of infinite length
di: Karp, Carol R
Pubblicazione: (1964)

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