Free Download Introduction to linear logic… By Brauner T. Publisher BRICS 1996 Pages 64/0 Code: 1414105 Title: Introduction to linear logic Author:..

Free Download Proof interpretations… By Kohlenbach U. Publisher BRICS 1998 Pages 79/0 Code: 1414409 Title: Proof interpretations Author: Kohlenbach..

Free Download Temporal logic in information systems… By Chomicki J., Toman D. Publisher BRICS 1997 Pages 51/0 Code: 1414106 Title: Temporal logic..

Free Download Explicit substitution – Tutorial and survey… By Rose K.H. Publisher BRICS 1996 Pages 161/0 Code: 1414410 Title: Explicit substitution..