This book is about some recent work in a subject usually considered part of "logic" and the" foundations of mathematics", but also having close connec tions wit

Computational Complexity Theory is the study of how much of a given resource is required to perform the computations that interest us the most. Four decades of

Heyting'88 Summer School and Conference on Mathematical Logic, held September 13 - 23, 1988 in Chaika, Bulgaria, was honourably dedicated to Arend Heyting's 90t

This volume is a collection of essays in honour of Professor Mohammad Ardeshir. It examines topics which, in one way or another, are connected to the various as