Home Advanced Search

Advanced Search - Page 1

Computational Logic and Proof Theory: 5th Kurt Gödel Colloquium, KGC '97 Vienna, Austria, August 25–29, 1997 Proceedings
  • PDF
  • English
  • Year: 1997
  • Author: Leo Bachmair (auth.), Georg Gottlob, Alexander Leitsch, Daniele Mundici (eds.)
Computational Logic and Proof Theory: 5th Kurt Gödel Colloquium, KGC '97 Vienna, Austria, August 25–29, 1997 Proceedings
  • DJVU
  • English
  • Year: 1997
  • Author: Leo Bachmair (auth.), Georg Gottlob, Alexander Leitsch, Daniele Mundici (eds.)
Logic: A Brief Course
  • PDF
  • English
  • Year: 2012
  • Author: Daniele Mundici (auth.)
Logic: A Brief Course
  • PDF
  • English
  • Year: 2012
  • Author: Daniele Mundici (auth.)
Logica: Metodo Breve
  • PDF
  • Italian
  • Year: 2011
  • Author: Daniele Mundici (auth.)
Rewriting Techniques and Applications: 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000. Proceedings
  • PDF
  • English
  • Year: 2000
  • Author: José Meseguer (auth.), Leo Bachmair (eds.)
Canonical Equational Proofs
  • PDF
  • English
  • Year: 1991
  • Author: Leo Bachmair (auth.)
Logic: A Brief Course
  • EPUB
  • English
  • Year: 2012
  • Author: Mundici, Daniele
Logic: a brief course
  • PDF
  • English
  • Year: 2012
  • Author: Mundici, Daniele
Logic: a Brief Course
  • PDF
  • English
  • Year: 2012
  • Author: Daniele Mundici
search