Copertina

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

Salvato in:

Dettagli Bibliografici
Autore principale:	Robinson, Abraham (Autore)
Natura:	Libro
Lingua:	francese
Pubblicazione:	París Gauthier-Villars 1955
Serie:	Collection de Logique Mathématique, 8
Soggetti:	Metamatemáticas Lógica matemática TEORIA LOGICA Álgebra de Boole Teoría de conjuntos CALCULO DE PREDICADOS Geometría TEOREMAS
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

El desarrollo de la lógica matématica
di: Nidditch, P. H.
Pubblicazione: (1983)

L'aspect moderne des mathématiques
di: Félix, Lucienne
Pubblicazione: (1957)

Lógica simbólica
di: Hegenberg, Leónidas
Pubblicazione: (1966)

Boolean algebra: a self-instructional programed manual
Pubblicazione: (1966)

Term logic with choice operator
di: Hermes, Hans
Pubblicazione: (1970)

Theory of formal systems
di: Smullyan, Raymond M
Pubblicazione: (1961)

A precis of mathematical logic
di: Bochénski, Innocentius M
Pubblicazione: (1959)

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

Teoría y problemas de teoría de conjuntos y temas afines
di: Lipschutz, Seymour
Pubblicazione: (1970)

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

Set theory and metric spaces
di: Kaplansky, Irving
Pubblicazione: (1977)

Set theory and hierarchy theory V
di: Lachlan, Alistair, et al.
Pubblicazione: (1977)

Set theory and logic
di: Fraenkel, Abraham Adolf
Pubblicazione: (1966)

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

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

Introduction to mathematical ideas
di: Crowdis, David G, et al.
Pubblicazione: (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
di: Beth, Evert W
Pubblicazione: (1956)

Introduction to the theory of abstract algebras
di: Pierce, Richard S
Pubblicazione: (1968)

Set theory and logic
di: Stoll, Robert R
Pubblicazione: (1963)

Borel equivalence relations: structure and classification
di: Kanovei, Vladimir
Pubblicazione: (2008)

El análisis matemático de la lógica
di: Boole, George
Pubblicazione: (1979)

Logic, computers, and sets
di: Wang, Hao
Pubblicazione: (1970)

Foundations of set theory
di: Fraenkel, Abraham A, et al.
Pubblicazione: (1958)

Introducción al simbolismo lógico
di: Bosch, Jorge E
Pubblicazione: (1981)

Applied boolean algebra: an elementary introduction
di: Hohn, Franz E
Pubblicazione: (1966)

The elements of mathematical logic
di: Rosenbloom, Paul C
Pubblicazione: (1950)

Elementary theory of sets
di: Dinkines, Flora
Pubblicazione: (1964)

Conference in Mathematical logic, London 70
di: Hodges, Wilfrid
Pubblicazione: (1972)

Elementos de la metalógica y metamatemática
di: Stahl, Gerold
Pubblicazione: (1964)

Metamatemática
di: Lorenzen, Paul
Pubblicazione: (1971)

The mathematics of metamathematics
di: Rasiowa, Helena, et al.
Pubblicazione: (1968)

Introduction to metamathematics
di: Kleene, Stephen Cole
Pubblicazione: (1952)

Elementos de Metamatemática
di: Stahl, Gerold
Pubblicazione: (1973)

Eléments de Mathématique: théorie des ensembles
di: Bourbaki, Nicolás
Pubblicazione: (1966)

Languages with expressions of infinite length
di: Karp, Carol R
Pubblicazione: (1964)

Algèbre de Boole
di: Kuntzmann, J
Pubblicazione: (1968)

Introduction to mathematical logic
di: Mendelson, Elliott
Pubblicazione: (1997)

Lecons de logique formelle
di: Dopp, Joseph
Pubblicazione: (1950)

Introduction to model theory and to the metamathematics of algebra
di: Robinson, Abraham
Pubblicazione: (1965)