عنوان
پدید آورنده
موضوع
رده
QA 9.54 .L563
QA
9
.
54
.
L563
کتابخانه
محل استقرار
Linear logic in computer science
Cambridge, U.K.
Cambridge University Press
c2004
x, 381 p.: ill
London Mathematical Society lecture note series; 613
Includes bibliographies
ISBN: 0521608570
edited by Thomas Ehrhard ... ]et al.[
1
، Proof theory
، Logic, Symbolic and mathematical
Mathematics ، Computer science
QA
9
.
54
.
L563
TI
AU Ehrhard, Thomas, 1958-
SE
