Home
 
  • Journals
  • Seminars
  • Conferences
  • Books
  • Lecture notes
  • Theses
  • Authors
  • Journals
  • Seminars
  • Conferences
  • Books
  • Lecture notes
  • Theses
  • Authors
  • All
  • Author
  • Title
  • References
  • Full text
NOT
Between and
  • All
  • Author
  • Title
  • Date
  • References
  • Mots-clés
  • Full text
  • Previous
  • Séminaire de Philosophie et Mathématiques
  • Year 1993
  • no. 2
  • Next

Les irrationalités de la logique

Loi Maurice;  Thom René;  Cartier Pierre;  Caveing Maurice (ed.)

Table of contents


List of lectures


Reflections on Formalism and Reductionism in Logic and Computer Science
Longo, Giuseppe
article no. 1, 9 p.

Some Aspects of Impredicativity
Longo, Giuseppe
article no. 2, 19 p.

Appendix: from the Journal of Symbolic Logic
Longo, Giuseppe
article no. 3, 5 p.
  • About
  • Help
  • Legal notice
  • Contact
 

Published by

 

Supported by

 
 

Partner of