Home Advanced Search

Advanced Search - Page 1

Type-theoretical grammar
  • DJVU
  • English
  • Year: 1995
  • Author: Aarne Ranta
Type-Theoretical Grammar (Indices, 1
  • DJVU
  • English
  • Year: 1995
  • Author: Aarne Ranta
Structural proof theory
  • DJVU
  • English
  • Year: 2001
  • Author: Professor Sara Negri, Jan von Plato, Aarne Ranta
Structural Proof Theory
  • PDF
  • English
  • Year: 2001
  • Author: Professor Sara Negri, Jan von Plato, Aarne Ranta