@BOOK{ Book!D - 95026369,
AUTHOR = "edited by Jean-Yves Girard, Yves Lafont, Laurent Regnier",
TITLE = "Advances in linear logic",
LIBRARY= "کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان",
SUBJECT = "، Logic, Symbolic and mathematical",
URL = "/book/95026369/Advances-in-linear-logic/"}