Kansikuva

A precis of mathematical logic

Tallennettuna:

Bibliografiset tiedot
Päätekijä:	Bochénski, Innocentius M (Tekijä)
Aineistotyyppi:	Kirja
Kieli:	englanti
Julkaistu:	Dordrecht D. Reidel 1959
Sarja:	Synthese Library
Aiheet:	Lógica matemática Teoría de conjuntos Relaciones matemáticas AXIOMAS DEDUCCION MATEMATICA CALCULO DE PREDICADOS Teoría de números
Tagit:	Lisää tagi Ei tageja, Lisää ensimmäinen tagi!

Samankaltaisia teoksia

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

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

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

Term logic with choice operator
Tekijä: Hermes, Hans
Julkaistu: (1970)

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

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

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

Set theory: with an introduction to descriptive set theory
Tekijä: Kuratowski, Kazimierz
Julkaistu: (1976)

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

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

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

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

Naive set theory
Tekijä: Halmos, Paul Richard
Julkaistu: (1974)

Naive set theory
Tekijä: Halmos, Paul Richard
Julkaistu: (1960)

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

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

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

A modern introduction to basic mathematics
Tekijä: Keedy, Mervin L
Julkaistu: (1963)

Théorie métamathématique des idéaux
Tekijä: Robinson, Abraham
Julkaistu: (1955)

Continuous model theory
Tekijä: Chen, Chung Chang, et al.
Julkaistu: (1966)

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

Introduction to axiomatic set theory
Tekijä: Takeuti, Gaisi, et al.
Julkaistu: (1971)

Axiomatic set theory
Tekijä: Takeuti, Gaisi, et al.
Julkaistu: (1973)

Mathématiques: classe de seconde a, c, t
Tekijä: Bréard, C
Julkaistu: (1969)

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

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

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)

Fundamentos de matemáticas: las relaciones. Curso de la Escuela de Arquitectura
Tekijä: Mena Lorca, Arturo
Julkaistu: (2001)

Introduction a la logique contemporaine
Tekijä: Blanché, Robert
Julkaistu: (1968)

The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory
Tekijä: Gödel, Kurt Friedrich
Julkaistu: (1940)

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

Introduction to logic and to the methodology of deductive sciences
Tekijä: Tarski, Alfred
Julkaistu: (1965)

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

Introduction a la logique
Tekijä: Tarski, Alfred
Julkaistu: (1969)

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)

The grammar of mathematics
Tekijä: Durst, Lincoln K
Julkaistu: (1969)

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

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

Set theory
Tekijä: Hausdorff, Felix
Julkaistu: (1978)