Home Advanced Search

Advanced Search - Page 1

An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof
  • PDF
  • English
  • Year: 2002
  • Author: Peter B. Andrews (auth.)
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof
  • DJVU
  • English
  • Year: 1986
  • Author: Peter B. Andrews
A Transfinite Type Theory with Type Variables
  • DJVU
  • English
  • Year: 1965
  • Author: Peter B Andrews
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (Computer Science & Applied Mathematics)
  • DJVU
  • English
  • Year: 1986
  • Author: Peter B. Andrews
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof
  • RAR
  • English
  • Year: 1986
  • Author: Peter B. Andrews
An Introduction to Mathematical Logic and Type Theory. To Truth Through Proof
  • DJVU
  • English
  • Year: 1986
  • Author: Peter B. Andrews
8th International Conference on Automated Deduction: Oxford, England, July 27–August 1, 1986 Proceedings
  • PDF
  • English
  • Year: 1986
  • Author: Peter B. Andrews (auth.), Jörg H. Siekmann (eds.)
8th International Conference on Automated Deduction: Oxford, England, July 27–August 1, 1986 Proceedings
  • DJVU
  • English
  • Year: 1986
  • Author: Peter B. Andrews (auth.), Jörg H. Siekmann (eds.)
Theorem Proving with Analytic Tableaux and Related Methods: 5th International Workshop, TABLEAUX '96 Terrasini, Palermo, Italy, May 15–17, 1996 Proceedings
  • DJVU
  • English
  • Year: 1996
  • Author: Peter B. Andrews, Matthew Bishop (auth.), P. Miglioli, U. Moscato, D. Mundici, M. Ornaghi (eds.)
Atlas of taphonomic identifications - 1001+ images of fossil and recent mam
  • PDF
  • English
  • Year: 2016
  • Author: Andrews, Peter
search