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

" Proof, computation and agency : "


Document Type : BL
Record Number : 611707
Doc. No : dltt
Title & Author : Proof, computation and agency : : logic at the crossroads /\ edited by Johan van Benthem, Amitabha Gupta and Rohit Parikh.
Publication Statement : Dordrecht [etc.] :: Springer,, 2011
Page. NO : XXIV, 371 p. ;; 24 cm.
ISBN : 9789400700796
Added Entry : Benthem, Johan : van
: Parikh, Rohit,(1936-....)
: Gupta, Amitabha
copyhttps://lib.clisel.com/site/catalogue/611707
کپی لینک
پیشنهاد خرید
پیوستها
Search result is zero
نظرسنجی
نظرسنجی منابع دیجیتال

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