Home Advanced Search

Advanced Search - Page 1

COLOG-88: International Conference on Computer Logic Tallinn, USSR, December 12–16, 1988 Proceedings
  • DJVU
  • English
  • Year: 1990
  • Author: Morozov Andrey (auth.), Per Martin-Löf, Grigori Mints (eds.)
A Short Introduction to Intuitionistic Logic
  • PDF
  • English
  • Year: 2002
  • Author: Grigori Mints (auth.)
Notes on Constructive Mathematics
  • PDF
  • English
  • Year: 1970
  • Author: Per Martin-Löf
Intuitionistic Type Theory: Notes by Giovanni Sambin of a Series of Lectures Given in Padua, June 1980 (Studies in Proof Theory)
  • PDF
  • English
  • Author: Per Martin-Löf
A Short Introduction to Intuitionistic Logic
  • PDF
  • English
  • Year: 2000
  • Author: Grigori Mints
A Short Introduction to Intuitionistic Logic (The University Series in Mathematics)
  • PDF
  • English
  • Year: 2000
  • Author: Grigori Mints
Short Introduction to Intuitionistic Logic
  • PDF
  • English
  • Year: 2000
  • Author: Grigori Mints
Statistical Mechanics and the Foundations of Thermodynamics
  • PDF
  • English
  • Year: 1979
  • Author: Anders Martin-Löf (auth.)
Logic Colloquium’ 96: Proceedings of the Colloquium held in San Sebastián, Spain, July 9–15, 1996
  • PDF
  • English
  • Year: 1998
  • Author: Jesús M. Larrazabal, Daniel Lascar, Grigori Mints (eds.)
Statistical Mechanics and the Foundations of Thermodynamics (Lecture Notes in Physics)
  • PDF
  • English
  • Year: 1979
  • Author: A. Martin-Löf
search