Home Advanced Search

Advanced Search - Page 1

Logic from Computer Science: Proceedings of a Workshop held November 13–17, 1989
  • PDF
  • English
  • Year: 1992
  • Author: Howard Barringer, Dov Gabbay (auth.), Yiannis N. Moschovakis (eds.)
Time for Verification: Essays in Memory of Amir Pnueli
  • PDF
  • English
  • Year: 2010
  • Author: Howard Barringer, Dov M. Gabbay (auth.), Zohar Manna, Doron A. Peled (eds.)
Advances in Temporal Logic
  • PDF
  • English
  • Year: 2000
  • Author: Howard Barringer, Michael Fisher, Dov Gabbay, Graham Gough (eds.)
Notes on Set Theory
  • PDF
  • English
  • Year: 1994
  • Author: Yiannis N. Moschovakis (auth.)
Advances in temporal logic
  • DJVU
  • English
  • Year: 2000
  • Author: Iliano Cervesato, Massimo Franceschet, Angelo Montanari (auth.), Howard Barringer, Michael Fisher, Dov Gabbay, Graham Gough (eds.)
Cabal Seminar 76–77: Proceedings, Caltech-UCLA Logic Seminar 1976–77
  • PDF
  • English
  • Year: 1978
  • Author: Alexander S. Kechris, Yiannis N. Moschovakis (auth.), Alexander S. Kechris, Yiannis N. Moschovakis (eds.)
Abstract Recursion and Intrinsic Complexity
  • PDF
  • English
  • Year: 2019
  • Author: Yiannis N. Moschovakis
Notes on set theory
  • PDF
  • English
  • Year: 2006
  • Author: Moschovakis, Yiannis N
Elementary Induction on Abstract Structures
  • DJVU
  • English
  • Year: 1974
  • Author: Yiannis N Moschovakis
Descriptive set theory
  • PDF
  • English
  • Year: 2009
  • Author: Yiannis N. Moschovakis
search