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
Windows XP, Vol. 1 (SELECT Series)
View
Internet Searching and Indexing: The Subject Approach
View
Control Problems in Industry: Proceedings from the SIA…
View
Open Source Systems Security Certification
View
Java: Data Structures and Programming
View
User-Centered Web Development
View
Query Processing in Database Systems (Topics in Inform…
View
Fundamentals of SQL Server 2005
View
Dreamweaver CS4: The Missing Manual (Spanish Edition)
View