Home Advanced Search

Advanced Search - Page 1

ANALYSIS AND EVALUATION OF THE JOB OF THE STATE SUPERVISOR OF TRADE AND INDUSTRIAL EDUCATION
  • PDF
  • English
  • Author: TATE, HAROLD SIMMONS
The point-free approach to sheafification [expository notes]
  • PDF
  • English
  • Year: 2001
  • Author: Harold Simmons
The topos of actions on a monoid [expository notes]
  • PDF
  • English
  • Year: 2003
  • Author: Harold Simmons
Forms of recursion and induction [expository notes]
  • PDF
  • English
  • Year: 2004
  • Author: Harold Simmons
An introduction to Category Theory [draft]
  • PDF
  • English
  • Year: 2010
  • Author: Harold Simmons
Derivation and computation: taking the Curry-Howard correspondence seriously
  • DJVU
  • English
  • Year: 2000
  • Author: Simmons, Harold
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
The Arithmetic of Elliptic Curves
  • PDF
  • English
  • Year: 1974
  • Author: Tate
數域上的 Fourier 變換與 Hecke 的 Zeta 函數
  • PDF
  • Chinese
  • Author: tate
The 20-month legend: my baby boy's fight with cancer
  • EPUB
  • English
  • Year: 2018
  • Author: Tate, Hayes;Tate, Steve
search