Home Advanced Search

Advanced Search - Page 1

Nonclassical Logics and Information Processing: International Workshop Berlin, Germany, November 9–10, 1990 Proceedings
  • PDF
  • English
  • Year: 1992
  • Author: Ewa Orlowska (auth.), David Pearce, Heinrich Wansing (eds.)
Nonclassical Logics and Information Processing: International Workshop Berlin, Germany, November 9–10, 1990 Proceedings
  • DJVU
  • English
  • Year: 1992
  • Author: Ewa Orlowska (auth.), David Pearce, Heinrich Wansing (eds.)
Proof Theory of Modal Logic
  • PDF
  • English
  • Year: 1996
  • Author: Heinrich Wansing (eds.)
The Logic of Information Structures
  • DJVU
  • English
  • Year: 1993
  • Author: Heinrich Wansing (auth.)
Towards Mathematical Philosophy: Papers from the Studia Logica conference Trends in Logic IV
  • PDF
  • English
  • Year: 2009
  • Author: David Makinson, Jacek Malinowski, Heinrich Wansing (eds.)
Towards Mathematical Philosophy: Papers from the Studia Logica conference Trends in Logic IV
  • PDF
  • English
  • Year: 2009
  • Author: David Makinson, Jacek Malinowski, Heinrich Wansing (eds.)
Dual Tableaux: Foundations, Methodology, Case Studies
  • PDF
  • English
  • Year: 2011
  • Author: Ewa Orlowska, Joanna Golińska Pilarek (auth.)
Dual Tableaux: Foundations, Methodology, Case Studies
  • PDF
  • English
  • Year: 2011
  • Author: Ewa Orlowska, Joanna Golińska Pilarek (auth.)
Truth and Falsehood: An Inquiry into Generalized Logical Values
  • PDF
  • English
  • Year: 2012
  • Author: Yaroslav Shramko, Heinrich Wansing (auth.)
Truth and Falsehood: An Inquiry into Generalized Logical Values
  • PDF
  • English
  • Year: 2012
  • Author: Yaroslav Shramko, Heinrich Wansing (auth.)