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

" Proofs and types / "


Document Type : BL
Record Number : 105525
Doc. No : b63073
Main Entry : Girard, Jean-Yves.
Title & Author : Proofs and types /\ Jean-Yves Girard ; translated and with appendices by Paul Taylor, Yves Lafont.
Publication Statement : Cambridge [England] ;New York :: Cambridge University Press,, 1989.
Series Statement : Cambridge tracts in theoretical computer science ;
Page. NO : xi, 176 p. :: ill. ;; 26 cm.
ISBN : 0521371813
Bibliographies/Indexes : Includes bibliographical references and index.
Subject : Lambda calculus.
Dewey Classification : ‭511.3‬
LC Classification : ‭QA9.5‬‭.G57 1989‬
copyhttps://lib.clisel.com/site/catalogue/105525
کپی لینک
پیشنهاد خرید
پیوستها
Search result is zero
نظرسنجی
نظرسنجی منابع دیجیتال

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