This book brings together philosophers, mathematicians and logicians to explore important problem...

This book is based on material presented at the international summer school on Applied Semantics ...

This book brings together philosophers, mathematicians and logicians to penetrate important probl...

Summer school lecture courses on modern logic and computation are presented here.

Summer school lecture courses on modern logic and computation are presented here.

This book is based on material presented at the international summer school on Applied Semantics ...

This book presents a strictly refereed collection of revised full papers selected from the papers...

This book brings together philosophers, mathematicians and logicians to penetrate important probl...

This book presents the proceedings of the Sixth International Conference on Category Theory and C...

This book contains a selection of papers presented at the third annual workshop of the Esprit Wor...