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

" Recursive functions and metamathematics : "


Document Type : BL
Record Number : 719309
Doc. No : b539000
Main Entry : Roman Murawski.
Title & Author : Recursive functions and metamathematics : : problems of completeness and decidability, Gödel's theorems\ Roman Murawski.
Publication Statement : Dordrecht ; London: Springer, 2011
Series Statement : Synthese library, v. 286
Page. NO : 1 volume ; 24 cm
ISBN : 9048152984
: : 9789048152988
Notes : Originally published: 1999.
Subject : Decidability (Mathematical logic)
Subject : Gödel's theorem.
Subject : Recursive functions.
Added Entry : Roman Murawski
Parallel Title : Funkcje rekurencyjne i elementy metamatematyki.
copyhttps://lib.clisel.com/site/catalogue/719309
کپی لینک
پیشنهاد خرید
پیوستها
Search result is zero
نظرسنجی
نظرسنجی منابع دیجیتال

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