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

" Complexity of proofs and their transformations in axiomatic theories / "


Document Type : BL
Record Number : 637216
Doc. No : dltt
Uniform Title : Slozhnostʹ dokazatelʹstv i ikh preobrazovaniĭ v aksiomatizirovannykh teorii︠a︡kh.English
Main Entry : Orevkov, V. P
Title & Author : Complexity of proofs and their transformations in axiomatic theories /\ V.P. Orevkov ; [translated by Alexander Bochman from an original Russian manuscript ; translation edited by David Louvish]
Publication Statement : Providence, R.I. :: American Mathematical Society,, c1993
Series Statement : Translations of mathematical monographs ;; v. 128
Page. NO : vi, 153 p. ;; 27 cm
ISBN : 0821845764 (acid-free)
Bibliographies/Indexes : Includes bibliographical references (p. 151-153)
Subject : Proof theory
Dewey Classification : ‭511.3‬
LC Classification : ‭QA9.54‬‭.O7413 1993‬
Added Entry : Louvish, David
copyhttps://lib.clisel.com/site/catalogue/637216
کپی لینک
پیشنهاد خرید
پیوستها
Search result is zero
نظرسنجی
نظرسنجی منابع دیجیتال

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