Realizability Realizability

Realizability

An Introduction to its Categorical Side

    • ‏184٫99 US$
    • ‏184٫99 US$

وصف الناشر

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

النوع
علم وطبيعة
تاريخ النشر
٢٠٠٨
١٠ أبريل
اللغة
EN
الإنجليزية
عدد الصفحات
٣٢٨
الناشر
Elsevier Science
البائع
Elsevier Ltd.
الحجم
٩٫٢
‫م.ب.‬
Logic and Algebra Logic and Algebra
٢٠١٧
Mathematical Logic and Theoretical Computer Science Mathematical Logic and Theoretical Computer Science
٢٠٢٠
Coalgebraic Methods in Computer Science Coalgebraic Methods in Computer Science
٢٠١٨
Set Theory Set Theory
٢٠١١
Residuated Lattices: An Algebraic Glimpse at Substructural Logics Residuated Lattices: An Algebraic Glimpse at Substructural Logics
٢٠٠٧
Relations: Concrete, Abstract, and Applied Relations: Concrete, Abstract, and Applied
٢٠٢٠