Home Advanced Search

Advanced Search - Page 1

A Short Introduction to Intuitionistic Logic
  • PDF
  • English
  • Year: 2002
  • Author: Grigori Mints (auth.)
A Short Introduction to Intuitionistic Logic
  • PDF
  • English
  • Year: 2000
  • Author: Grigori Mints
Games, Logic, and Constructive Sets
  • DJVU
  • English
  • Year: 2003
  • Author: Grigori Mints, Reinhard Muskens
Games, logic, and constructive sets
  • DJVU
  • English
  • Year: 2003
  • Author: Grigori Mints, Reinhard Muskens
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.)
Mechanics of Non-Homogeneous and Anisotropic Foundations
  • PDF
  • English
  • Year: 2001
  • Author: B. Grigori Muravskii (auth.)
Advances in Learning Software Organizations: 6th International Workshop, LSO 2004, Banff, Canada, June 20-21, 2004. Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Harald Holz, Grigori Melnik (auth.), Grigori Melnik, Harald Holz (eds.)
Electron Impact Ion Sources for Charged Heavy Ions
  • PDF
  • English
  • Year: 1996
  • Author: Grigori D. Shirkov, Günter Zschornack (auth.)
Baltic Computer Science: Selected Papers
  • PDF
  • English
  • Year: 1991
  • Author: G. Mints, E. Tyugu (auth.), Janis Bārzdinš, Dines Bjørner (eds.)
Information Processing in Biological Systems
  • PDF
  • English
  • Year: 1985
  • Author: Gordon L. Shaw, John C. Pearson (auth.), Stephan L. Mints, Arnold Perlmutter (eds.)
search