Home Advanced Search

Advanced Search - Page 1

Mathematical Logic
  • PDF
  • English
  • Year: 1990
  • Author: A. S. Troelstra (auth.), Petio Petrov Petkov (eds.)
Lectures on Linear Logic
  • PDF
  • English
  • Year: 1992
  • Author: A. S. Troelstra
Choice Sequences: A Chapter of Instuitionistic Mathematics
  • DJVU
  • English
  • Year: 1977
  • Author: A. S. Troelstra
Minkowski spacetime: A hundred years later
  • PDF
  • English
  • Year: 2010
  • Author: Leo Corry (auth.), Vesselin Petkov (eds.)
Minkowski Spacetime: A Hundred Years Later
  • PDF
  • English
  • Year: 2010
  • Author: Leo Corry (auth.), Vesselin Petkov (eds.)
Bibliography of Natural History Travel Narratives
  • PDF
  • English
  • Year: 2016
  • Author: Anne S. Troelstra
Principles of Intuitionism. Lectures Summer Conference on Intuitionism and Proof Theory, 1968
  • DJVU
  • English
  • Year: 1969
  • Author: Anne S. Troelstra
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
  • DJVU
  • English
  • Year: 1973
  • Author: Anne S. Troelstra
Tools for High Performance Computing 2009: Proceedings of the 3rd International Workshop on Parallel Tools for High Performance Computing, September 2009, ZIH, Dresden
  • PDF
  • English
  • Year: 2010
  • Author: Shajulin Benedict, Ventsislav Petkov (auth.), Matthias S. Müller, Michael M. Resch, Alexander Schulz, Wolfgang E. Nagel (eds.)
Relativity and the Dimensionality of the World
  • PDF
  • English
  • Year: 2007
  • Author: Vesselin Petkov (eds.)
search