A formalization of set theory without variables / by Alfred Tarski and Stev...

Livre | Tarski, Alfred (1901-1983). Auteur | 1987

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

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

Tractatus logico-philosophicus / Ludwig Wittgenstein

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

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

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

Le théorème de Gödel / Ernest Nagel, James R. Newman, Kurt Gödel... [et al....

Livre | Nagel, Ernest (1901-1985). Auteur | 1997

Rassemble la traduction de l'article original de K. Gödel, une version vulgarisée de sa démonstration par E. Nagel et J. R. Newman, et un essai du logicien J.- Y. Girard qui fait le point sur les problèmes d'interprétation du célè...