Résultats de la recherche

1

Three Views of Logic : Mathematics, Philosophy, and Computer Science

Three Views of Logic : Mathematics, Philosophy, and Computer Science

par Loveland, Donald W..
Publié 2014

Accès à l'E-book

E-Book

2

The birth of model theory : Löwenheim's theorem in the frame of the theory of relatives

The birth of model theory : Löwenheim's theorem in the frame of the theory of relatives

par Badesa, Calixto (19..-....).
Publié 2009

Accès à l'E-book

E-Book

3

The Search for Mathematical Roots, 1870-1940 : Logics, Set Theories, and the Foundations of Mathematics from Cantor Through Russell to Godel

The Search for Mathematical Roots, 1870-1940 : Logics, Set Theories, and the Foundations of Mathematics from Cantor Through Russell to Godel

par Grattan-Guinness, Ivor (1941-2014).

Accès à l'E-book

E-Book

4

Quantifiers, Quantifiers, and Quantifiers: Themes in Logic, Metaphysics, and Language

Quantifiers, Quantifiers, and Quantifiers: Themes in Logic, Metaphysics, and Language

par Torza, Alessandro.

Accès à l'E-book

E-Book

5

Essays on Gödel's Reception of Leibniz, Husserl, and Brouwer

Essays on Gödel's Reception of Leibniz, Husserl, and Brouwer

par Atten, Markus van (1973-....).

Accès à l'E-book

E-Book

Université catholique de l'Ouest - Bibliothèques - 3 place André Leroy - BP10808 - 49008 ANGERS Cedex 1