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

" Proof theory of impredicative subsystems of analysis / "


Document Type : BL
Record Number : 650774
Doc. No : dltt
Main Entry : Buchholz, Wilfried,1948-
Title & Author : Proof theory of impredicative subsystems of analysis /\ Wilfried Buchholz, Kurt Schütte
Series Statement : Studies in proof theory ;; 2
Page. NO : 122 pages ;; 25 cm
ISBN : 8870881660
Bibliographies/Indexes : Bibliography: pages 121-122
Subject : Proof theory
Subject : Mathematical analysis
Added Entry : Schütte, K., (Kurt)
copyhttps://lib.clisel.com/site/catalogue/650774
کپی لینک
پیشنهاد خرید
پیوستها
Search result is zero
نظرسنجی
نظرسنجی منابع دیجیتال

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