Realizability an introduction to its categorical side
(eBook)
Author
Contributors
Published
Oxford : Elsevier, 2008.
Edition
1st ed.
Physical Desc
xvi, 310 pages
Status
More Details
Format
eBook
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.
Description
Loading Description...
Also in this Series
Checking series information...
Subjects
Other Subjects
Citations
APA Citation, 7th Edition (style guide)
Oosten, J. v. (2008). Realizability: an introduction to its categorical side . Elsevier.
Chicago / Turabian - Author Date Citation, 17th Edition (style guide)Oosten, Jaap van. 2008. Realizability: An Introduction to Its Categorical Side. Elsevier.
Chicago / Turabian - Humanities (Notes and Bibliography) Citation, 17th Edition (style guide)Oosten, Jaap van. Realizability: An Introduction to Its Categorical Side Elsevier, 2008.
MLA Citation, 9th Edition (style guide)Oosten, Jaap van. Realizability: An Introduction to Its Categorical Side Elsevier, 2008.
Note! Citations contain only title, author, edition, publisher, and year published. Citations should be used as a guideline and should be double checked for accuracy. Citation formats are based on standards as of August 2021.
Staff View
Grouped Work ID
e9602d2a-e397-1104-991a-fa695e4e2382-eng
Grouping Information
Grouped Work ID | e9602d2a-e397-1104-991a-fa695e4e2382-eng |
---|---|
Full title | realizability an introduction to its categorical side |
Author | oosten jaap van |
Grouping Category | book |
Last Update | 2022-07-08 14:58:02PM |
Last Indexed | 2024-05-11 05:54:06AM |
Book Cover Information
Image Source | default |
---|---|
First Loaded | Mar 13, 2024 |
Last Used | May 14, 2024 |
Marc Record
First Detected | Jul 08, 2022 04:32:36 PM |
---|---|
Last File Modification Time | Jul 08, 2022 04:32:36 PM |
MARC Record
LEADER | 01721nam a2200397Ia 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 http://ebookcentral.proquest.com/lib/yavapai-ebooks/detail.action?docID=331886|x Yavapai College|y Yavapai College users click here |
856 | 4 | 0 | |u http://ebookcentral.proquest.com/lib/prescottcollege-ebooks/detail.action?docID=331886|x Prescott College|y Prescott College users click here |
856 | 4 | 0 | |u http://ebookcentral.proquest.com/lib/yln-ebooks/detail.action?docID=331886|x Yavapai Library Network|y All other users click here |