Okładka

First-order logic

Pokaż inne wersje (2)

Zapisane w:

Opis bibliograficzny
1. autor:	Smullyan, Raymond M (Autor)
Format:	Książka
Język:	angielski
Wydane:	Berlín Springer-Verlag 1968
Hasła przedmiotowe:	Lógica matemática Cálculo proposicional Teoría de números Teoría de conjuntos Razonamiento CALCULO DE RELACIONES
Etykiety:	Dodaj etykietę Nie ma etykietki, Dołącz pierwszą etykiete!

Podobne zapisy

First-order logic
od: Smullyan, Raymond M
Wydane: (1995)

Introduction to mathematical logic
od: Mendelson, Elliott
Wydane: (1964)

Introduction to logic
od: Suppes, Patrick
Wydane: (1957)

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

Teoría y práctica de la lógica proposiciona
od: Montaner, Pedro, i wsp.
Wydane: (1997)

Introduction to mathematical logic
od: Mendelson, Elliott
Wydane: (1997)

The elements of mathematical logic
od: Rosenbloom, Paul C
Wydane: (1950)

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

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

A precis of mathematical logic
od: Bochénski, Innocentius M
Wydane: (1959)

Set theory and logic
od: Fraenkel, Abraham Adolf
Wydane: (1966)

Set theory and logic
od: Stoll, Robert R
Wydane: (1963)

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

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

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

Logic and reasoning in mathematics
od: Johnson, Donovan A
Wydane: (1963)

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

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

First-order logic
od: Smullyan, Raymond M
Wydane: (1968)

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

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

Introduction to logic
od: Copi, Irving M, i wsp.
Wydane: (2014)

Borel equivalence relations: structure and classification
od: Kanovei, Vladimir
Wydane: (2008)

Elements of mathematical logic
od: Novikov, P. S. (Petr Sergeevich)
Wydane: (1964)

Conference in Mathematical logic, London 70
od: Hodges, Wilfrid
Wydane: (1972)

Logic, computers, and sets
od: Wang, Hao
Wydane: (1970)

Foundations of set theory
od: Fraenkel, Abraham A, i wsp.
Wydane: (1958)

Lógica simbólica
od: Hegenberg, Leónidas
Wydane: (1966)

Elementary theory of sets
od: Dinkines, Flora
Wydane: (1964)

Introducción al simbolismo lógico
od: Bosch, Jorge E
Wydane: (1981)

Basic mathematics
od: Lang, Serge
Wydane: (1971)

Number theory with computer applications
od: Kumanduri, Ramanujachary, i wsp.
Wydane: (1998)

Intermediate analysis
od: Ramanujan, M. S, i wsp.
Wydane: (1970)

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

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

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

Ejercicios de matemáticas generales
od: Mena Lorca, Arturo
Wydane: (1980)

Languages with expressions of infinite length
od: Karp, Carol R
Wydane: (1964)

Matemáticas básicas
od: Springer, Clifford Harry, i wsp.
Wydane: (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
od: Beth, Evert W
Wydane: (1956)