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

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...

Logique mathématique. 2, Fonctions récursives, théorème de Gödel, théorie d...

Livre | Cori, René. Auteur | 2003

Ce deuxième tome est plus particulièrement consacré aux problèmes de récursivité et de formalisation de l'arithmétique, aux théorèmes de Gödel et à la théorie des ensembles ainsi qu'à la théorie des modèles.