Similar Items

• Completeness theory for propositional logics Witold A. Pogorzelski, Piotr Wojtylak.
  by: Pogorzelski, Witold
• Polynomial completeness in algebraic systems Kalle Kaarli and Alden Pixley.
  by: Kaarli, Kalle
  Published: (2001)
• Algebraic number theory and fermat's last theorem Ian Stewart and David Tall.
  by: Stewart, 1945-
  Published: (2002)
• Algebraic number theory and fermat's last theorem David Tall , Ian Stewart.
  by: Stewart, Ian, 1945-
  Published: (2016)
• Higher order logic theorem proving and its applications : proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications--HOL '92.
  Published: (1993)