A formalization of set theory without variables / by Alfred Tarski and Steven Givant

Livre

Tarski, Alfred (1901-1983). Auteur | Givant, Steven R. (1943-....). Auteur

Edited by American Mathematical Society. Providence (R.I.) - 1987

Autres documents dans la collection «Colloquium Publications - American Mathematical Society»

Vérification des exemplaires disponibles ...

Se procurer le document

Vérification des exemplaires disponibles ...

Suggestions

Du même sujet

Infinity and the mind : the science and philosophy of the infinite / Rudy Rucker | Rucker, Rudy (1946-....). Auteur

Infinity and the mind : the science and philosophy of the infinite / Rudy R...

Livre | Rucker, Rudy (1946-....). Auteur | 1982

Règles pour la direction de l'esprit / René Descartes | Descartes, René (1596-1650). Auteur

Règles pour la direction de l'esprit / René Descartes

Livre | Descartes, René (1596-1650). Auteur | 1966 - 4e édition

Quantum probability, quantum logic / Itamar Pitowsky | Pitowsky, Itamar (1950-2010). Auteur

Quantum probability, quantum logic / Itamar Pitowsky

Livre | Pitowsky, Itamar (1950-2010). Auteur | 1989

Tractatus logico-philosophicus / Ludwig Wittgenstein | Wittgenstein, Ludwig (1889-1951). Auteur

Tractatus logico-philosophicus / Ludwig Wittgenstein

Livre | Wittgenstein, Ludwig (1889-1951). Auteur | 2001

Linear aggregation of economic relations / by H. Theil,... | Theil, Henri (1924-2000). Auteur

Linear aggregation of economic relations / by H. Theil,...

Livre | Theil, Henri (1924-2000). Auteur | 1954

Théorie des ensembles et logique mathématique : des infinis mathématiques aux théorèmes de Gödel / Jacques Patarin | Patarin, Jacques (1965-....). Auteur

Théorie des ensembles et logique mathématique : des infinis mathématiques a...

Livre | Patarin, Jacques (1965-....). Auteur | 2020

Cet ouvrage traite de deux des domaines les plus célèbres des mathématiques : la théorie des ensembles et la logique. La théorie des ensembles, développée au XIXe et au XXe siècle, est en particulier une théorie mathématique de l'...

Chargement des enrichissements...