Introduction to linear logic.

RecordNumber
4405
Author
Braüner, Torben
Title
Introduction to linear logic.
Author Statement
Torben Braü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
Link To Document :
https://lib.ui.ac.ir/dL/search/default.aspx?Term=4405&Field=0&DTC=14