Home Advanced Search

Advanced Search - Page 1

Non-Well-Founded Sets
  • DJVU
  • English
  • Year: 1988
  • Author: Peter Aczel
Non-well-founded sets
  • PDF
  • English
  • Year: 1988
  • Author: Peter Aczel
Homotopy Type Theory. Univalent Foundations of Mathematics
  • PDF
  • English
  • Author: Aczel Peter et al.
Lectures on functional equations and their applications
  • DJVU
  • English
  • Year: 1966
  • Author: Aczel
Logic of Computation
  • PDF
  • English
  • Year: 1997
  • Author: Peter Aczel (auth.), Helmut Schwichtenberg (eds.)
Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990
  • PDF
  • English
  • Year: 1993
  • Author: Peter Aczel, Harold Simmons, Stanley S. Wainer
Conference in Mathematical Logic — London ’70
  • PDF
  • English
  • Year: 1972
  • Author: Peter Aczel, Wayne Richter (auth.), Wilfrid Hodges (eds.)
Situation Theory and Its Applications
  • DJVU
  • English
  • Year: 1993
  • Author: Peter Aczel, David Israel, Yasuhiro Katagiri, Stanley Peters (eds.)
Types for Proofs and Programs: International Workshop, TYPES’ 98 Kloster Irsee, Germany, March 27–31, 1998 Selected Papers
  • PDF
  • English
  • Year: 1999
  • Author: Peter Aczel (auth.), Thorsten Altenkirch, Bernhard Reus, Wolfgang Naraschewski (eds.)
Why Science Does Not Disprove God
  • EPUB
  • English
  • Year: 2014
  • Author: Amir Aczel
search