Im Jahr 2029 war die Geburtsstunde des Terminators - Jetzt ist er zurück aus der Zukunft. Noch im...

A classic exposition of a branch of mathematical logic that uses category theory, this text is su...

This is an introduction to nonstandard analysis based on a course of lectures given several times...

This book examines the geometrical notion of orthogonality, and shows how to use it as the primit...

Advances in Modal Logic is a unique international forum for presenting the latest results and new...

Many systems of quantified modal logic cannot be characterised by Kripke's well-known possible wo...

This is an introduction to nonstandard analysis based on a course of lectures given several times...