RecordNumber

4405

Author

Braüner, Torben

Title

Introduction to linear logic.

Author Statement

Torben Braüner

Publication

BRICS

Publication Year

c1996

Collation

viii, 55p.

Series

BRICS report series

Subject

Logic, Symbolic and mathematical.

Main class

511.

Sub class

3

Cutter no

B8258i