Home Advanced Search

Advanced Search - Page 1

Models and Computability: Invited Papers from Logic Colloquium '97 - European Meeting of the Association for Symbolic Logic, Leeds, July 1997
  • PDF
  • English
  • Year: 1999
  • Author: S. Barry Cooper, John K. Truss
Models and computability: Invited papers from Logic Colloquium ’97
  • DJVU
  • English
  • Year: 1999
  • Author: S. Barry Cooper, John K. Truss
Computability theory
  • DJVU
  • English
  • Year: 2003
  • Author: S. Barry Cooper
Foundations of mathematical analysis
  • DJVU
  • English
  • Year: 1997
  • Author: J. K. Truss
Foundations of mathematical analysis MCet
  • DJVU
  • English
  • Year: 1997
  • Author: J. K. Truss
Theory and Applications of Models of Computation: 9th Annual Conference, TAMC 2012, Beijing, China, May 16-21, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: John Hopcroft (auth.), Manindra Agrawal, S. Barry Cooper, Angsheng Li (eds.)
Theory and Applications of Models of Computation: 9th Annual Conference, TAMC 2012, Beijing, China, May 16-21, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: John Hopcroft (auth.), Manindra Agrawal, S. Barry Cooper, Angsheng Li (eds.)
Applied Issues in Investigative Interviewing, Eyewitness Memory, and Credibility Assessment
  • PDF
  • English
  • Year: 2013
  • Author: John C. Yuille (auth.), Barry S. Cooper, Dorothee Griesel, Marguerite Ternes (eds.)
Computability in Context: Computation and Logic in the Real World
  • PDF
  • English
  • Year: 2009
  • Author: S. Barry Cooper, Andrea Sorbi
Sets and Proofs
  • DJVU
  • English
  • Year: 1999
  • Author: Cooper S.B., Truss J.K. (eds.)
search