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
The Good Web Site Guide 2006: The Completely Revised, …
View
The Pentium Microprocessor
View
Advanced Intel Microprocessors: 80286, 80386, And 80486
View
Differential Equations: Matrices and Models
View
Digital Experiments: Emphasizing Troubleshooting (Merr…
View
Data Structures for Computer Information Systems
View
The Little LISPer, Third Edition
View
Inside Networks
View
Computer Graphics Using Open GL (2nd Edition)
View
Computer Graphics
View