Home Advanced Search

Advanced Search - Page 1

Cultures of Mathematics and Logic: Selected Papers from the Conference in Guangzhou, China, November 9-12, 2012
  • PDF
  • English
  • Year: 2016
  • Author: Shier Ju, Benedikt Löwe, Thomas Müller, Yun Xie (eds.)
Mathematical Theory and Computational Practice: 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Thomas Anberrée (auth.), Klaus Ambos-Spies, Benedikt Löwe, Wolfgang Merkle (eds.)
Mathematical Theory and Computational Practice: 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Thomas Anberrée (auth.), Klaus Ambos-Spies, Benedikt Löwe, Wolfgang Merkle (eds.)
Modality, Semantics and Interpretations: The Second Asian Workshop on Philosophical Logic
  • PDF
  • English
  • Year: 2015
  • Author: Shier Ju, Hu Liu, Hiroakira Ono (eds.)
Foundations of the formal sciences 1: the history of the concept of the formal sciences
  • PDF
  • English
  • Year: 2002
  • Author: Löwe, Benedikt; Peckhaus, Volker; Räsch, Thoralf (eds.)