Obálka

First-order logic

Zobrazit další vydání (2)

Uloženo v:

Podrobná bibliografie
Hlavní autor:	Smullyan, Raymond M (Autor)
Médium:	Kniha
Jazyk:	angličtina
Vydáno:	Nueva York Dover 1995
Edice:	Dover Books on Mathematics
Témata:	Lógica matemática Cálculo proposicional Teoría de números Teoría de conjuntos Razonamiento CALCULO DE RELACIONES
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Podobné jednotky

First-order logic
Autor: Smullyan, Raymond M
Vydáno: (1968)

Introduction to mathematical logic
Autor: Mendelson, Elliott
Vydáno: (1964)

Introduction to logic
Autor: Suppes, Patrick
Vydáno: (1957)

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

Teoría y práctica de la lógica proposiciona
Autor: Montaner, Pedro, a další
Vydáno: (1997)

Introduction to mathematical logic
Autor: Mendelson, Elliott
Vydáno: (1997)

The elements of mathematical logic
Autor: Rosenbloom, Paul C
Vydáno: (1950)

Eléments de Mathématique: théorie des ensembles
Autor: Bourbaki, Nicolás
Vydáno: (1970)

Introduction a la logique mathématique
Autor: Novikov, P. S. (Petr Sergeevich)
Vydáno: (1964)

A precis of mathematical logic
Autor: Bochénski, Innocentius M
Vydáno: (1959)

Set theory and logic
Autor: Fraenkel, Abraham Adolf
Vydáno: (1966)

Set theory and logic
Autor: Stoll, Robert R
Vydáno: (1963)

Tableau systems for first order number theory and certain higher order theories
Autor: Toledo, Sue
Vydáno: (1975)

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

Büchi's Monadic second order successor arithmetic
Autor: Siefkes, Dirk
Vydáno: (1970)

Logic and reasoning in mathematics
Autor: Johnson, Donovan A
Vydáno: (1963)

Matemática elemental moderna: estructura y método
Autor: Trejo, César A
Vydáno: (1969)

Matemática elemental moderna: estructura y método
Autor: Trejo, César A
Vydáno: (1977)

First-order logic
Autor: Smullyan, Raymond M
Vydáno: (1968)

Lógica simbólica: una breve introducción
Autor: Gómez Calderón, Javier
Vydáno: (1979)

Proceedings of the Summer School in Logic Leeds, 1967
Vydáno: (1968)

Introduction to logic
Autor: Copi, Irving M, a další
Vydáno: (2014)

Borel equivalence relations: structure and classification
Autor: Kanovei, Vladimir
Vydáno: (2008)

Elements of mathematical logic
Autor: Novikov, P. S. (Petr Sergeevich)
Vydáno: (1964)

Conference in Mathematical logic, London 70
Autor: Hodges, Wilfrid
Vydáno: (1972)

Logic, computers, and sets
Autor: Wang, Hao
Vydáno: (1970)

Foundations of set theory
Autor: Fraenkel, Abraham A, a další
Vydáno: (1958)

Lógica simbólica
Autor: Hegenberg, Leónidas
Vydáno: (1966)

Elementary theory of sets
Autor: Dinkines, Flora
Vydáno: (1964)

Introducción al simbolismo lógico
Autor: Bosch, Jorge E
Vydáno: (1981)

Basic mathematics
Autor: Lang, Serge
Vydáno: (1971)

Number theory with computer applications
Autor: Kumanduri, Ramanujachary, a další
Vydáno: (1998)

Intermediate analysis
Autor: Ramanujan, M. S, a další
Vydáno: (1970)

Reglas para la dirección del espíritu
Autor: Descartes, René
Vydáno: (1984)

Cómo desarrollar el razonamiento lógico matemático: manual de apoyo al profesor de kinder a 8 § básico
Autor: Cofré Jorquera, Alicia, a další
Vydáno: (2009)

Reglas para la dirección del espíritu
Autor: Descartes, René
Vydáno: (2011)

Ejercicios de matemáticas generales
Autor: Mena Lorca, Arturo
Vydáno: (1980)

Languages with expressions of infinite length
Autor: Karp, Carol R
Vydáno: (1964)

Matemáticas básicas
Autor: Springer, Clifford Harry, a další
Vydáno: (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
Autor: Beth, Evert W
Vydáno: (1956)