Obálka

Théorie métamathématique des idéaux

Uloženo v:

Podrobná bibliografie
Hlavní autor:	Robinson, Abraham (Autor)
Médium:	Kniha
Jazyk:	francouzština
Vydáno:	París Gauthier-Villars 1955
Edice:	Collection de Logique Mathématique, 8
Témata:	Metamatemáticas Lógica matemática TEORIA LOGICA Álgebra de Boole Teoría de conjuntos CALCULO DE PREDICADOS Geometría TEOREMAS
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Podobné jednotky

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

El desarrollo de la lógica matématica
Autor: Nidditch, P. H.
Vydáno: (1983)

L'aspect moderne des mathématiques
Autor: Félix, Lucienne
Vydáno: (1957)

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

Boolean algebra: a self-instructional programed manual
Vydáno: (1966)

Term logic with choice operator
Autor: Hermes, Hans
Vydáno: (1970)

Theory of formal systems
Autor: Smullyan, Raymond M
Vydáno: (1961)

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

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

Teoría y problemas de teoría de conjuntos y temas afines
Autor: Lipschutz, Seymour
Vydáno: (1970)

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

Set theory and metric spaces
Autor: Kaplansky, Irving
Vydáno: (1977)

Set theory and hierarchy theory V
Autor: Lachlan, Alistair, a další
Vydáno: (1977)

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

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)

Introduction to mathematical ideas
Autor: Crowdis, David G, a další
Vydáno: (1969)

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)

Introduction to the theory of abstract algebras
Autor: Pierce, Richard S
Vydáno: (1968)

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

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

El análisis matemático de la lógica
Autor: Boole, George
Vydáno: (1979)

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

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

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

Applied boolean algebra: an elementary introduction
Autor: Hohn, Franz E
Vydáno: (1966)

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

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

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

Elementos de la metalógica y metamatemática
Autor: Stahl, Gerold
Vydáno: (1964)

Metamatemática
Autor: Lorenzen, Paul
Vydáno: (1971)

The mathematics of metamathematics
Autor: Rasiowa, Helena, a další
Vydáno: (1968)

Introduction to metamathematics
Autor: Kleene, Stephen Cole
Vydáno: (1952)

Elementos de Metamatemática
Autor: Stahl, Gerold
Vydáno: (1973)

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

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

Algèbre de Boole
Autor: Kuntzmann, J
Vydáno: (1968)

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

Lecons de logique formelle
Autor: Dopp, Joseph
Vydáno: (1950)

Introduction to model theory and to the metamathematics of algebra
Autor: Robinson, Abraham
Vydáno: (1965)