Home Advanced Search

Advanced Search - Page 1

Mathematical Logic and Computation
  • PDF
  • English
  • Year: 2022
  • Author: Jeremy Avigad
Interactive Theorem Proving
  • PDF
  • English
  • Year: 2018
  • Author: Jeremy Avigad, Assia Mahboubi
Computability and incompleteness. Lecture notes
  • PDF
  • English
  • Year: 2007
  • Author: Avigad J.
Computability and Incompleteness
  • PDF
  • English
  • Year: 2007
  • Author: Avigad J.
A Genesis Apocryphon. A Scroll from the Wilderness of Judaea
  • PDF
  • English, Hebrew
  • Year: 1956
  • Author: Nahman Avigad, Yigael Yadin (eds.)
안심스테이크,샐러드 드레싱 만들기
  • EPUB
  • Korean
  • Year: 2018
  • Author: Jeremy
This Pervasive Day: The Potential and Perils of Pervasive Computing
  • PDF
  • English
  • Year: 2012
  • Author: Jeremy Pitt, Jeremy Pitt
The Age of Inequality
  • AZW3
  • English
  • Year: 2017
  • Author: Gantz, Jeremy [Gantz, Jeremy]