Kansikuva

First-order logic

Näytä muut versiot (2)

Tallennettuna:

Bibliografiset tiedot
Päätekijä:	Smullyan, Raymond M (Tekijä)
Aineistotyyppi:	Kirja
Kieli:	englanti
Julkaistu:	Nueva York Dover 1995
Sarja:	Dover Books on Mathematics
Aiheet:	Lógica matemática Cálculo proposicional Teoría de números Teoría de conjuntos Razonamiento CALCULO DE RELACIONES
Tagit:	Lisää tagi Ei tageja, Lisää ensimmäinen tagi!

Samankaltaisia teoksia

First-order logic
Tekijä: Smullyan, Raymond M
Julkaistu: (1968)

Introduction to mathematical logic
Tekijä: Mendelson, Elliott
Julkaistu: (1964)

Introduction to logic
Tekijä: Suppes, Patrick
Julkaistu: (1957)

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

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

Introduction to mathematical logic
Tekijä: Mendelson, Elliott
Julkaistu: (1997)

The elements of mathematical logic
Tekijä: Rosenbloom, Paul C
Julkaistu: (1950)

Eléments de Mathématique: théorie des ensembles
Tekijä: Bourbaki, Nicolás
Julkaistu: (1970)

Introduction a la logique mathématique
Tekijä: Novikov, P. S. (Petr Sergeevich)
Julkaistu: (1964)

A precis of mathematical logic
Tekijä: Bochénski, Innocentius M
Julkaistu: (1959)

Set theory and logic
Tekijä: Fraenkel, Abraham Adolf
Julkaistu: (1966)

Set theory and logic
Tekijä: Stoll, Robert R
Julkaistu: (1963)

Tableau systems for first order number theory and certain higher order theories
Tekijä: Toledo, Sue
Julkaistu: (1975)

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

Büchi's Monadic second order successor arithmetic
Tekijä: Siefkes, Dirk
Julkaistu: (1970)

Logic and reasoning in mathematics
Tekijä: Johnson, Donovan A
Julkaistu: (1963)

Matemática elemental moderna: estructura y método
Tekijä: Trejo, César A
Julkaistu: (1969)

Matemática elemental moderna: estructura y método
Tekijä: Trejo, César A
Julkaistu: (1977)

First-order logic
Tekijä: Smullyan, Raymond M
Julkaistu: (1968)

Lógica simbólica: una breve introducción
Tekijä: Gómez Calderón, Javier
Julkaistu: (1979)

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

Introduction to logic
Tekijä: Copi, Irving M, et al.
Julkaistu: (2014)

Borel equivalence relations: structure and classification
Tekijä: Kanovei, Vladimir
Julkaistu: (2008)

Elements of mathematical logic
Tekijä: Novikov, P. S. (Petr Sergeevich)
Julkaistu: (1964)

Conference in Mathematical logic, London 70
Tekijä: Hodges, Wilfrid
Julkaistu: (1972)

Logic, computers, and sets
Tekijä: Wang, Hao
Julkaistu: (1970)

Foundations of set theory
Tekijä: Fraenkel, Abraham A, et al.
Julkaistu: (1958)

Lógica simbólica
Tekijä: Hegenberg, Leónidas
Julkaistu: (1966)

Elementary theory of sets
Tekijä: Dinkines, Flora
Julkaistu: (1964)

Introducción al simbolismo lógico
Tekijä: Bosch, Jorge E
Julkaistu: (1981)

Basic mathematics
Tekijä: Lang, Serge
Julkaistu: (1971)

Number theory with computer applications
Tekijä: Kumanduri, Ramanujachary, et al.
Julkaistu: (1998)

Intermediate analysis
Tekijä: Ramanujan, M. S, et al.
Julkaistu: (1970)

Reglas para la dirección del espíritu
Tekijä: Descartes, René
Julkaistu: (1984)

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

Reglas para la dirección del espíritu
Tekijä: Descartes, René
Julkaistu: (2011)

Ejercicios de matemáticas generales
Tekijä: Mena Lorca, Arturo
Julkaistu: (1980)

Languages with expressions of infinite length
Tekijä: Karp, Carol R
Julkaistu: (1964)

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