Значок книги

A precis of mathematical logic

Сохранить в:

Библиографические подробности
Главный автор:	Bochénski, Innocentius M (Автор)
Формат:	‌
Язык:	английский
Опубликовано:	Dordrecht D. Reidel 1959
Серии:	Synthese Library
Предметы:	Lógica matemática Teoría de conjuntos Relaciones matemáticas AXIOMAS DEDUCCION MATEMATICA CALCULO DE PREDICADOS Teoría de números
Метки:	Добавить метку Нет меток, Требуется 1-ая метка записи!

Схожие документы

Introduction to logic
по: Suppes, Patrick
Опубликовано: (1957)

Proceedings of the Summer School in Logic Leeds, 1967
Опубликовано: (1968)

Eléments de Mathématique: théorie des ensembles
по: Bourbaki, Nicolás
Опубликовано: (1970)

Term logic with choice operator
по: Hermes, Hans
Опубликовано: (1970)

Introduction to mathematical logic
по: Mendelson, Elliott
Опубликовано: (1997)

Büchi's Monadic second order successor arithmetic
по: Siefkes, Dirk
Опубликовано: (1970)

Lógica simbólica
по: Hegenberg, Leónidas
Опубликовано: (1966)

Set theory: with an introduction to descriptive set theory
по: Kuratowski, Kazimierz
Опубликовано: (1976)

Tableau systems for first order number theory and certain higher order theories
по: Toledo, Sue
Опубликовано: (1975)

Introduction to mathematical logic
по: Mendelson, Elliott
Опубликовано: (1964)

Conference in Mathematical logic, London 70
по: Hodges, Wilfrid
Опубликовано: (1972)

Logic, computers, and sets
по: Wang, Hao
Опубликовано: (1970)

Naive set theory
по: Halmos, Paul Richard
Опубликовано: (1974)

Naive set theory
по: Halmos, Paul Richard
Опубликовано: (1960)

First-order logic
по: Smullyan, Raymond M
Опубликовано: (1995)

First-order logic
по: Smullyan, Raymond M
Опубликовано: (1968)

Set theory and logic
по: Fraenkel, Abraham Adolf
Опубликовано: (1966)

A modern introduction to basic mathematics
по: Keedy, Mervin L
Опубликовано: (1963)

Théorie métamathématique des idéaux
по: Robinson, Abraham
Опубликовано: (1955)

Continuous model theory
по: Chen, Chung Chang, и др.
Опубликовано: (1966)

Set theory and logic
по: Stoll, Robert R
Опубликовано: (1963)

Introduction to axiomatic set theory
по: Takeuti, Gaisi, и др.
Опубликовано: (1971)

Axiomatic set theory
по: Takeuti, Gaisi, и др.
Опубликовано: (1973)

Mathématiques: classe de seconde a, c, t
по: Bréard, C
Опубликовано: (1969)

Simposio latino-americano de lógica matemática: resumos de conferências e comunicacoes
Опубликовано: (1970)

Basic mathematics
по: Lang, Serge
Опубликовано: (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
по: Beth, Evert W
Опубликовано: (1956)

Fundamentos de matemáticas: las relaciones. Curso de la Escuela de Arquitectura
по: Mena Lorca, Arturo
Опубликовано: (2001)

Introduction a la logique contemporaine
по: Blanché, Robert
Опубликовано: (1968)

The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory
по: Gödel, Kurt Friedrich
Опубликовано: (1940)

Borel equivalence relations: structure and classification
по: Kanovei, Vladimir
Опубликовано: (2008)

Introduction to logic and to the methodology of deductive sciences
по: Tarski, Alfred
Опубликовано: (1965)

Elementary theory of sets
по: Dinkines, Flora
Опубликовано: (1964)

Introduction a la logique
по: Tarski, Alfred
Опубликовано: (1969)

Matemática elemental moderna: estructura y método
по: Trejo, César A
Опубликовано: (1969)

Matemática elemental moderna: estructura y método
по: Trejo, César A
Опубликовано: (1977)

The grammar of mathematics
по: Durst, Lincoln K
Опубликовано: (1969)

Foundations of set theory
по: Fraenkel, Abraham A, и др.
Опубликовано: (1958)

Introducción al simbolismo lógico
по: Bosch, Jorge E
Опубликовано: (1981)

Set theory
по: Hausdorff, Felix
Опубликовано: (1978)