Home Advanced Search

Advanced Search - Page 1

Selected papers in proof theory
  • DJVU
  • English
  • Year: 1992
  • Author: Mints, Grigorii E
Baltic Computer Science: Selected Papers
  • PDF
  • English
  • Year: 1991
  • Author: G. Mints, E. Tyugu (auth.), Janis Bārzdinš, Dines Bjørner (eds.)
A Short Introduction to Intuitionistic Logic
  • PDF
  • English
  • Year: 2000
  • Author: Grigori Mints
Error Correcting Coding and Security for Data Networks : Analysis of the Superchannel Concept
  • PDF
  • English
  • Year: 2005
  • Author: Grigorii Kabatiansky
A Short Introduction to Intuitionistic Logic
  • PDF
  • English
  • Year: 2002
  • Author: Grigori Mints (auth.)
Authoritarian Party Systems: Party Politics In Autocratic Regimes, 1945-2019
  • PDF
  • English
  • Year: 2022
  • Author: Grigorii V. Golosov
Political Parties in the Regions of Russia: Democracy Unclaimed
  • PDF
  • English
  • Year: 2022
  • Author: Grigorii V. Golosov
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
Polymer Compositions Stabilizers/Curing
  • DJVU
  • English
  • Year: 1991
  • Author: Grigorii Removitch Barshtein (auth.)
search