Home Advanced Search

Advanced Search - Page 1

Substructural Logics
Substructural Logics
  • DJVU
  • English
  • Year: 1994
  • Author: Kosta Došen, Peter Schroeder-Heister
Cut elimination in categories
Cut elimination in categories
  • DJVU
  • English
  • Year: 1999
  • Author: Došen, Kosta
Cut elimination in categories
Cut elimination in categories
  • PDF
  • English
  • Year: 2008
  • Author: Došen, Kosta
Osnovna logika
  • PDF
  • Serbian
  • Year: 2013
  • Author: Kosta Došen
Proof-Theoretical Coherence
Proof-Theoretical Coherence
  • PDF
  • English
  • Year: 2004
  • Author: Kosta Došen, Zoran Petrić
Advances in Proof-Theoretic Semantics
Advances in Proof-Theoretic Semantics
  • PDF
  • English
  • Year: 2015
  • Author: Thomas Piecha, Peter Schroeder-Heister
Advances in proof-theoretic semantics
Advances in proof-theoretic semantics
  • PDF
  • English
  • Year: 2016
  • Author: Piecha, Thomas;Schroeder-Heister, Peter Joseph