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

" Dag Prawitz on proofs and meaning / "


Document Type : BL
Record Number : 649850
Doc. No : dltt
Title & Author : Dag Prawitz on proofs and meaning /\ Heinrich Wansing, editor
Series Statement : Outstanding contributions to logic ;; v. 7
Page. NO : 1 online resource.
ISBN : 3319110403 (print)
: : 3319110411
: : 9783319110400 (print)
: : 9783319110417
: 9783319110400
Subject : Logic design.
Subject : Logic, Symbolic and mathematical.
Subject : Logic.
Subject : Philosophy.
Subject : Philosophy.
Subject : Logics and Meanings of Programs.
Subject : Mathematical Logic and Foundations.
Dewey Classification : ‭100‬
: ‭160‬
LC Classification : ‭BC71‬
Added Entry : Wansing, H., (Heinrich)
Added Entry : Ohio Library and Information Network.
کپی لینک

پیشنهاد خرید
پیوستها
Search result is zero
نظرسنجی
نظرسنجی منابع دیجیتال

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