Home Advanced Search

Advanced Search - Page 1

Reference and Reflexivity
  • PDF
  • English
  • Year: 2012
  • Author: John Perry
Selected papers on design of algorithms
  • DJVU
  • English
  • Year: 2010
  • Author: Knuth D.E.
An Essay on Facts
  • PDF
  • English
  • Year: 1987
  • Author: Kenneth R. Olson
Logics of Time and Computation
  • PDF
  • English
  • Year: 1992
  • Author: Robert Goldblatt
Language, Proof and Logic [CD-ROM]
  • RAR
  • English
  • Year: 2002
  • Author: Jon Barwise, John Etchemendy (eds.)
Mathematical Reasoning with Diagrams
  • PDF
  • english
  • Year: 2001
  • Author: Mateja Jamnik
Situation Theory and Its Applications
  • DJVU
  • English
  • Year: 1993
  • Author: Peter Aczel, David Israel, Yasuhiro Katagiri, Stanley Peters (eds.)