Home Advanced Search

Advanced Search - Page 1

Freyds Models for the Independence of the Axiom of Choice
  • PDF
  • English
  • Year: 1989
  • Author: Andreas Blass
Logic and Its Applications
  • DJVU
  • English
  • Year: 2005
  • Author: Andreas Blass, Yi Zhang (ed.)
Ω-Bibliography of Mathematical Logic. Volume 5: Set Theory
  • PDF
  • English
  • Year: 1987
  • Author: Gert H. Müller, Andreas R. Blass (eds.)
Fields of Logic and Computation III: Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday
  • PDF
  • English
  • Year: 2020
  • Author: Andreas Blass, Patrick Cégielski, Nachum Dershowitz, Manfred Droste, Bernd Finkbeiner
Mathematical Foundations of Computer Science 2008: 33rd International Symposium, MFCS 2008, Toru´n, Poland, August 25-29, 2008. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Andreas Blass, Yuri Gurevich (auth.), Edward Ochmański, Jerzy Tyszkiewicz (eds.)
Computer Science Logic: 14th InternationalWorkshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21 – 26, 2000 Proceedings
  • PDF
  • English
  • Year: 2000
  • Author: Andreas Blass, Yuri Gurevich (auth.), Peter G. Clote, Helmut Schwichtenberg (eds.)
Alexandre Grothendieck's EGA V
  • DJVU
  • French
  • Author: Blass P., Blass J.
Grammar of New Testament Greek
  • PDF
  • Greek-English
  • Author: Blass F.
Pronunciation of Ancient Greek
  • PDF
  • Greek-English
  • Author: Blass F.