Beeld op de omslag

First-order logic

Toon andere (2) versies

Bewaard in:

Bibliografische gegevens
Hoofdauteur:	Smullyan, Raymond M (Auteur)
Formaat:	Boek
Taal:	Engels
Gepubliceerd in:	Berlín Springer-Verlag 1968
Onderwerpen:	Lógica matemática Cálculo proposicional Teoría de números Teoría de conjuntos Razonamiento CALCULO DE RELACIONES
Tags:	Voeg label toe Geen labels, Wees de eerste die dit record labelt!

Gelijkaardige items

First-order logic
door: Smullyan, Raymond M
Gepubliceerd in: (1995)

Introduction to mathematical logic
door: Mendelson, Elliott
Gepubliceerd in: (1964)

Introduction to logic
door: Suppes, Patrick
Gepubliceerd in: (1957)

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

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

Introduction to mathematical logic
door: Mendelson, Elliott
Gepubliceerd in: (1997)

The elements of mathematical logic
door: Rosenbloom, Paul C
Gepubliceerd in: (1950)

Eléments de Mathématique: théorie des ensembles
door: Bourbaki, Nicolás
Gepubliceerd in: (1970)

Introduction a la logique mathématique
door: Novikov, P. S. (Petr Sergeevich)
Gepubliceerd in: (1964)

A precis of mathematical logic
door: Bochénski, Innocentius M
Gepubliceerd in: (1959)

Set theory and logic
door: Fraenkel, Abraham Adolf
Gepubliceerd in: (1966)

Set theory and logic
door: Stoll, Robert R
Gepubliceerd in: (1963)

Tableau systems for first order number theory and certain higher order theories
door: Toledo, Sue
Gepubliceerd in: (1975)

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

Büchi's Monadic second order successor arithmetic
door: Siefkes, Dirk
Gepubliceerd in: (1970)

Logic and reasoning in mathematics
door: Johnson, Donovan A
Gepubliceerd in: (1963)

Matemática elemental moderna: estructura y método
door: Trejo, César A
Gepubliceerd in: (1969)

Matemática elemental moderna: estructura y método
door: Trejo, César A
Gepubliceerd in: (1977)

First-order logic
door: Smullyan, Raymond M
Gepubliceerd in: (1968)

Lógica simbólica: una breve introducción
door: Gómez Calderón, Javier
Gepubliceerd in: (1979)

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

Introduction to logic
door: Copi, Irving M, et al.
Gepubliceerd in: (2014)

Borel equivalence relations: structure and classification
door: Kanovei, Vladimir
Gepubliceerd in: (2008)

Elements of mathematical logic
door: Novikov, P. S. (Petr Sergeevich)
Gepubliceerd in: (1964)

Conference in Mathematical logic, London 70
door: Hodges, Wilfrid
Gepubliceerd in: (1972)

Logic, computers, and sets
door: Wang, Hao
Gepubliceerd in: (1970)

Foundations of set theory
door: Fraenkel, Abraham A, et al.
Gepubliceerd in: (1958)

Lógica simbólica
door: Hegenberg, Leónidas
Gepubliceerd in: (1966)

Elementary theory of sets
door: Dinkines, Flora
Gepubliceerd in: (1964)

Introducción al simbolismo lógico
door: Bosch, Jorge E
Gepubliceerd in: (1981)

Basic mathematics
door: Lang, Serge
Gepubliceerd in: (1971)

Number theory with computer applications
door: Kumanduri, Ramanujachary, et al.
Gepubliceerd in: (1998)

Intermediate analysis
door: Ramanujan, M. S, et al.
Gepubliceerd in: (1970)

Reglas para la dirección del espíritu
door: Descartes, René
Gepubliceerd in: (1984)

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

Reglas para la dirección del espíritu
door: Descartes, René
Gepubliceerd in: (2011)

Ejercicios de matemáticas generales
door: Mena Lorca, Arturo
Gepubliceerd in: (1980)

Languages with expressions of infinite length
door: Karp, Carol R
Gepubliceerd in: (1964)

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