منو
رکورد قبلیرکورد بعدی

" Computational aspects of linear logic / "


Document Type : BL
Record Number : 958634
Doc. No : b713004
Main Entry : Lincoln, Patrick.
Title & Author : Computational aspects of linear logic /\ Patrick Lincoln.
Publication Statement : Cambridge, MA :: MIT Press,, 1995.
Series Statement : Foundations of computing series
Page. NO : pages cm.
ISBN : 0262121956
: : 9780262121958
Bibliographies/Indexes : Includes bibliographical references (pages-) and index.
Subject : Logic, Symbolic and mathematical-- Data processing.
Subject : Proof theory.
Subject : Logic, Symbolic and mathematical-- Data processing.
Subject : Proof theory.
Dewey Classification : ‭511.3‬
LC Classification : ‭QA9‬‭.L565 1995‬
copyhttps://lib.clisel.com/site/catalogue/958634
کپی لینک
پیشنهاد خرید
پیوستها
Search result is zero
نظرسنجی
نظرسنجی منابع دیجیتال

1 - آیا از کیفیت منابع دیجیتال راضی هستید؟