Home Advanced Search

Advanced Search - Page 1

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
Proof Analysis: A Contribution to Hilbert’s Last Problem
  • PDF
  • English
  • Year: 2011
  • Author: Sara Negri, Jan von Plato
Proof Analysis: A Contribution to Hilbert's Last Problem
  • PDF
  • English
  • Year: 2011
  • Author: Sara Negri, Jan von Plato
Grammatical framework : programming with multilingual grammars
  • DJVU
  • English
  • Year: 2011
  • Author: Aarne Ranta
Grammatical Framework: Programming with Multilingual Grammars (Studies in Computational Linguistics)
  • PDF
  • English
  • Author: Aarne Ranta
Grammatical framework : programming with multilingual grammars
  • DJVU
  • English
  • Year: 2011
  • Author: Aarne Ranta
Type-theoretical grammar
  • DJVU
  • English
  • Year: 1995
  • Author: Aarne Ranta
The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age
  • PDF
  • English
  • Year: 2017
  • Author: Jan von Plato
Saved from the cellar: Gerhard Gentzen's shorthand notes on logic and foundations of mathematics
  • PDF
  • English
  • Year: 2017
  • Author: Jan von Plato
search