Home Advanced Search

Advanced Search - Page 1

Computer Science Logic: 10th International Workshop, CSL '96 Annual Conference of the EACSL Utrecht, The Netherlands, September 21–27, 1996 Selected Papers
  • DJVU
  • English
  • Year: 1997
  • Author: Ofer Arieli, Arnon Avron (auth.), Dirk van Dalen, Marc Bezem (eds.)
Foundations of Information and Knowledge Systems: Second International Symposium, FoIKS 2002 Salzau Castle, Germany, February 20–23, 2002 Proceedings
  • PDF
  • English
  • Year: 2002
  • Author: Ofer Arieli, Marc Denecker (auth.), Thomas Eiter, Klaus-Dieter Schewe (eds.)
L.E.J. Brouwer – Topologist, Intuitionist, Philosopher: How Mathematics Is Rooted in Life
  • PDF
  • English
  • Year: 2013
  • Author: Dirk van Dalen (auth.)
Logic and Structure
  • PDF
  • English
  • Year: 1980
  • Author: Dirk van Dalen (auth.)
The selected correspondence of L.E.J. Brouwer
  • PDF
  • English
  • Year: 2011
  • Author: Dirk van Dalen (auth.)
Handbook of Philosophical Logic
  • PDF
  • English
  • Year: 2002
  • Author: Dirk van Dalen (auth.), Dov M. Gabbay, F. Guenthner (eds.)
Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday
  • PDF
  • English
  • Year: 2008
  • Author: Boris A. Trakhtenbrot (auth.), Arnon Avron, Nachum Dershowitz, Alexander Rabinovich (eds.)
Mystic, Geometer, and Intuitionist: The Life of L. E. J. Brouwer Volume 1: The Dawning Revolution
  • PDF
  • English
  • Year: 1999
  • Author: Dirk Van Dalen
Logic and structure
  • PDF
  • English
  • Year: 2013
  • Author: van Dalen, Dirk
Mystic, geometer, and intuitionist: The life of L.E.J.Brouwer Vol.1. The dawning revolution
  • DJVU
  • English
  • Year: 1999
  • Author: Dirk Van Dalen
search