Realizability: an introduction to its categorical side
(eBook)
Author:
Contributors:
Series:
Published:
Oxford : Elsevier, 2008.
Format:
eBook
Edition:
1st ed.
Physical Desc:
xvi, 310 pages
Status:
Ebrary (CCU)
Description
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.
Copies
Ebrary (CCU)
Subjects
Other Subjects
Citations
APA Citation (style guide)
Oosten, J. v. (2008). Realizability: an introduction to its categorical side. Oxford, Elsevier.
Chicago / Turabian - Author Date Citation (style guide)Oosten, Jaap van. 2008. Realizability: An Introduction to Its Categorical Side. Oxford, Elsevier.
Chicago / Turabian - Humanities Citation (style guide)Oosten, Jaap van, Realizability: An Introduction to Its Categorical Side. Oxford, Elsevier, 2008.
MLA Citation (style guide)Oosten, Jaap van. Realizability: An Introduction to Its Categorical Side. Oxford, Elsevier, 2008.
Note! Citation formats are based on standards as of July 2022. Citations contain only title, author, edition, publisher, and year published. Citations should be used as a guideline and should be double checked for accuracy.
More Copies In Prospector
Loading Prospector Copies...
More Details
Language:
English
Notes
Bibliography
Includes bibliographical references and index.
Reproduction
Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
Staff View
Grouped Work ID:
8d382f55-1267-4fbf-d902-261995c90bc2
Record Information
Last File Modification Time | Jan 04, 2024 04:51:59 PM |
---|---|
Last Grouped Work Modification Time | Apr 15, 2024 06:23:57 AM |
MARC Record
LEADER | 01390nam a2200373Ia 4500 | ||
---|---|---|---|
001 | EBC331886 | ||
003 | MiAaPQ | ||
005 | 20200520144314.0 | ||
006 | m o d | | ||
007 | cr cn||||||||| | ||
008 | 071023s2008 enk sb 001 0 eng d | ||
020 | |z 0444515844 | ||
020 | |z 9780444515841 | ||
035 | |a (MiAaPQ)EBC331886 | ||
035 | |a (Au-PeEL)EBL331886 | ||
035 | |a (CaPaEBR)ebr10216693 | ||
035 | |a (CaONFJC)MIL116508 | ||
035 | |a (OCoLC)476131562 | ||
040 | |a MiAaPQ|c MiAaPQ|d MiAaPQ | ||
050 | 4 | |a QA9.7|b .O66 2008 | |
100 | 1 | |a Oosten, Jaap van. | |
245 | 1 | 0 | |a Realizability|h [electronic resource] :|b an introduction to its categorical side /|c Jaap van Oosten. |
250 | |a 1st ed. | ||
260 | |a Oxford :|b Elsevier,|c 2008. | ||
300 | |a xvi, 310 p. | ||
490 | 1 | |a Studies in logic and the foundations of mathematics ;|v 152 | |
504 | |a Includes bibliographical references and index. | ||
533 | |a Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries. | ||
650 | 0 | |a Logic, Symbolic and mathematical. | |
650 | 0 | |a Model theory. | |
655 | 4 | |a Electronic books. | |
710 | 2 | |a ProQuest (Firm) | |
830 | 0 | |a Studies in logic and the foundations of mathematics ;|v 152. | |
856 | 4 | 0 | |u https://ebookcentral.proquest.com/lib/cochristuniv-ebooks/detail.action?docID=331886|z Click to View |