Home Advanced Search

Advanced Search - Page 1

Quantifiers: Logics, Models and Computation: Volume Two: Contributions
  • PDF
  • English
  • Year: 1995
  • Author: Johan van Benthem (auth.), Michał Krynicki, Marcin Mostowski, Lesław W. Szczerba (eds.)
Quantifiers: Logics, Models and Computation: Volume One: Surveys
  • PDF
  • English
  • Year: 1995
  • Author: Michał Krynicki, Marcin Mostowski (auth.), Michał Krynicki, Marcin Mostowski, Lesław W. Szczerba (eds.)
Quantifiers: Logics, Models and Computation: Volume Two: Contributions
  • DJVU
  • English
  • Year: 1995,2010
  • Author: Michal Krynicki, M. Mostowski, L.W. Szczerba (eds.)
Essays in Logical Semantics
  • PDF
  • English
  • Year: 1986
  • Author: Johan Van Benthem (auth.)
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, The Netherlands May 30 – June 3, 1988
  • PDF
  • English
  • Year: 1989
  • Author: Johan van Benthem (auth.), J. W. de Bakker, W. -P. de Roever, G. Rozenberg (eds.)
Diamonds and Defaults: Studies in Pure and Applied Intensional Logic
  • PDF
  • English
  • Year: 1993
  • Author: Johan van Benthem (auth.), Maarten de Rijke (eds.)
Advances in Intensional Logic
  • PDF
  • English
  • Year: 1997
  • Author: Johan Van Benthem, Natasha Alechina (auth.), Maarten de Rijke (eds.)
Logic and philosophy today, vol.2
  • DJVU
  • English
  • Year: 2011
  • Author: Gupta, Amitabha; Benthem, Johan van (eds.)
A Manual of Intensional Logic
  • DJVU
  • English
  • Year: 1988
  • Author: Johan van Benthem
Proof, Computation and Agency: Logic at the Crossroads
  • PDF
  • English
  • Year: 2011
  • Author: John N. Crossley (auth.), Johan van Benthem, Amitabha Gupta, Rohit Parikh (eds.)
search