Home Advanced Search

Advanced Search - Page 1

Logic and computer science: lectures given at the 1st session of the Centro internazionale matematico estivo
  • DJVU
  • English
  • Year: 1990
  • Author: Steven Homer, Anil Nerode, Richard A. Platek, Gerald E. Sacks, Andre Scedrov, Piergiorgio Odifreddi
Logic and computer science: lectures given at the 1st session of the Centro internazionale matematico estivo
  • DJVU
  • English
  • Year: 1990
  • Author: S. Homer, R. A. Platek, A. Scedrov, A. Nerode, Gerald E. Sacks
Logic for Applications
  • PDF
  • English
  • Year: 1997
  • Author: Shore, Richard A.;Nerode, Anil
Logic for Applications
  • PDF
  • English
  • Year: 1993
  • Author: Anil Nerode, Richard A. Shore
Logic for Applications
  • PDF
  • English
  • Year: 1997
  • Author: Anil Nerode, Richard A. Shore
Logic for Applications
  • DJVU
  • English
  • Year: 1997
  • Author: Anil Nerode, Richard A. Shore
Recursion Theory Week: Proceedings of a Conference held in Oberwolfach, FRG, March 19–25, 1989
  • DJVU
  • English
  • Year: 1990
  • Author: Klaus Ambos-Spies, Steven Homer, Dongping Yang (auth.), Klaus Ambos-Spies, Gert H. Müller, Gerald E. Sacks (eds.)
Capire la scienza. Isaac Newton. La gravità, la luce e i colori del mondo
  • PDF
  • Italian
  • Year: 2012
  • Author: Piergiorgio Odifreddi
Pitagora, Euclide e la nascita della scienza
  • PDF
  • Italian
  • Year: 2012
  • Author: Piergiorgio Odifreddi
Incontri con menti straordinarie
  • EPUB
  • italian
  • Year: 2010
  • Author: Piergiorgio Odifreddi
search