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

" Metamathematics of first-order arithmetic "


Document Type : BL
Record Number : 562928
Doc. No : b392147
Main Entry : Petr Hájek
Title & Author : Metamathematics of first-order arithmetic\ Petr Hájek, Pavel Pudlák.
Publication Statement : Cambridge : Cambridge University Press,, [2016]
Series Statement : Perspectives in logic, 3
Page. NO : xiv, 460 pages : illustrations (black and white) ; 25 cm.
ISBN : 1107168414
: : 9781107168411
Notes : Formerly CIP.
Added Entry : Pavel Pudlák
copyhttps://lib.clisel.com/site/catalogue/562928
کپی لینک
پیشنهاد خرید
پیوستها
Search result is zero
نظرسنجی
نظرسنجی منابع دیجیتال

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