Home Advanced Search

Advanced Search - Page 1

One hundred years of intuitionism (1907-2007) : the Cerisy conference
  • PDF
  • English
  • Year: 2008
  • Author: Mark van Atten, Pascal Boldini, Michel Bourdeau, Gerhard Heinzmann
Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer
  • PDF
  • English
  • Year: 2015
  • Author: Mark van Atten
Moon Puerto Rico
  • EPUB
  • English
  • Year: 2020
  • Author: Suzanne Van Atten
Moon Puerto Rico
  • EPUB
  • English
  • Year: 2013
  • Author: Van Atten, Suzanne
Moon San Juan, Vieques & Culebra
  • EPUB
  • English
  • Year: 2015
  • Author: Suzanne Van Atten
Interdisciplinary Works in Logic, Epistemology, Psychology and Linguistics: Dialogue, Rationality, and Formalism
  • PDF
  • English
  • Year: 2014
  • Author: Manuel Rebuschi, Martine Batt, Gerhard Heinzmann, Franck Lihoreau, Michel Musiol, Alain Trognon (eds.)
Paul Lorenzen – Mathematician and Logician
  • PDF
  • English
  • Year: 2021
  • Author: Gerhard Heinzmann, Gereon Wolters
Numerica: A Modeling Language for Global Optimization
  • PDF
  • English
  • Year: 1997
  • Author: Pascal van Van Hentenryck, Laurent Michel, Yves Deville
Constraint satisfaction in logic programming
  • DJVU
  • English
  • Year: 1989
  • Author: Pascal Van Hentenryck