Home Advanced Search

Advanced Search - Page 1

Mathematical Logic and Computation
  • PDF
  • English
  • Year: 2022
  • Author: Jeremy Avigad
Computability and incompleteness. Lecture notes
  • PDF
  • English
  • Year: 2007
  • Author: Avigad J.
Computability and Incompleteness
  • PDF
  • English
  • Year: 2007
  • Author: Avigad J.
Interactive Theorem Proving
  • PDF
  • English
  • Year: 2018
  • Author: Jeremy Avigad, Assia Mahboubi
A Genesis Apocryphon. A Scroll from the Wilderness of Judaea
  • PDF
  • English, Hebrew
  • Year: 1956
  • Author: Nahman Avigad, Yigael Yadin (eds.)