Realizability: An introduction to its categorical side

Realizability: An introduction to its categorical side

Jaap van Oosten
Bu kitabı nə dərəcədə bəyəndiniz?
Yüklənmiş faylın keyfiyyəti necədir?
Kitabın keyfiyyətini qiymətləndirə bilmək üçün onu yükləyin
Yüklənmiş faylların keyfiyyəti necədir?
Aimed at starting researchers in the field, Realizability gives a rigorous, yet reasonable introduction to the basic concepts of a field which has passed several successive phases of abstraction. Material from previously unpublished sources such as Ph.D. theses, unpublished papers, etc. has been molded into one comprehensive presentation of the subject area. - The first book to date on this subject area - Provides an clear introduction to Realizability with a comprehensive bibliography - Easy to read and mathematically rigorous - Written by an expert in the field
Kateqoriyalar:
İl:
2008
Nəşriyyat:
Elsevier Science
Dil:
english
Səhifələr:
327
ISBN 10:
1435628748
ISBN 13:
9781435628748
Seriyalar:
Studies in Logic and the Foundations of Mathematics, Volume 152
Fayl:
PDF, 4.42 MB
IPFS:
CID , CID Blake2b
english, 2008
Onlayn oxumaq
formatına konvertasiya yerinə yetirilir
formatına konvertasiya baş tutmadı

Açar ifadələr