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
Realizability: An Introduction to its Categorical Side (Volume 152) (Studies in Logic and the Foundations of Mathematics, Volume 152)
📄 Viewing lite version
Full site ›
139
USD
🛒 Buy New on Amazon 🇺🇸
Book Details
Author(s)Jaap van Oosten,
PublisherElsevier Science
ISBN / ASIN0444515844
ISBN-139780444515841
Sales Rank7,588,408
CategoryComputers
MarketplaceUnited States 🇺🇸
Description ▲
More Books in Computers
C++: Object-Oriented Data Structures
View
Fundamentals of Logic Design
View
Articulating Design Decisions: Communicate with Stakeh…
View
Make: FPGAs: Turning Software into Hardware with Eight…
View
Robots and Biological Systems: Towards a New Bionics?:…
View
Modern Perl
View
Emerging Trends in Image Processing, Computer Vision a…
View
Autodesk 3ds Max 2012 Essentials
View