Realizability : an introduction to its categorical side /

Realizability : an introduction to its categorical side / / Jaap van Oosten.

Saved in:
Bibliographic Details
Superior document:Studies in logic and the foundations of mathematics ; 152
:
ProQuest (Firm)
Oosten, Jaap van.
TeilnehmendeR:
ProQuest (Firm)
Year of Publication:2008
Edition:1st ed.
Language:English
Series:Studies in logic and the foundations of mathematics ; 152.
Online Access:
Physical Description:xvi, 310 p.
Tags: Add Tag
No Tags, Be the first to tag this record!
id 500331886
ctrlnum (MiAaPQ)500331886
(Au-PeEL)EBL331886
(CaPaEBR)ebr10216693
(CaONFJC)MIL116508
(OCoLC)476131562
collection bib_alma
fullrecord <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01377nam a2200373Ia 4500</leader><controlfield tag="001">500331886</controlfield><controlfield tag="003">MiAaPQ</controlfield><controlfield tag="005">20200520144314.0</controlfield><controlfield tag="006">m o d | </controlfield><controlfield tag="007">cr cn|||||||||</controlfield><controlfield tag="008">071023s2008 enk sb 001 0 eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">0444515844</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9780444515841</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(MiAaPQ)500331886</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(Au-PeEL)EBL331886</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CaPaEBR)ebr10216693</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CaONFJC)MIL116508</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)476131562</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">MiAaPQ</subfield><subfield code="c">MiAaPQ</subfield><subfield code="d">MiAaPQ</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA9.7</subfield><subfield code="b">.O66 2008</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Oosten, Jaap van.</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Realizability</subfield><subfield code="h">[electronic resource] :</subfield><subfield code="b">an introduction to its categorical side /</subfield><subfield code="c">Jaap van Oosten.</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1st ed.</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">Oxford :</subfield><subfield code="b">Elsevier,</subfield><subfield code="c">2008.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xvi, 310 p.</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Studies in logic and the foundations of mathematics ;</subfield><subfield code="v">152</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index.</subfield></datafield><datafield tag="533" ind1=" " ind2=" "><subfield code="a">Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Logic, Symbolic and mathematical.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Model theory.</subfield></datafield><datafield tag="655" ind1=" " ind2="4"><subfield code="a">Electronic books.</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">ProQuest (Firm)</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Studies in logic and the foundations of mathematics ;</subfield><subfield code="v">152.</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=331886</subfield><subfield code="z">Click to View</subfield></datafield></record></collection>
record_format marc
spelling Oosten, Jaap van.
Realizability [electronic resource] : an introduction to its categorical side / Jaap van Oosten.
1st ed.
Oxford : Elsevier, 2008.
xvi, 310 p.
Studies in logic and the foundations of mathematics ; 152
Includes bibliographical references and index.
Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
Logic, Symbolic and mathematical.
Model theory.
Electronic books.
ProQuest (Firm)
Studies in logic and the foundations of mathematics ; 152.
https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=331886 Click to View
language English
format Electronic
eBook
author Oosten, Jaap van.
spellingShingle Oosten, Jaap van.
Realizability an introduction to its categorical side /
Studies in logic and the foundations of mathematics ;
author_facet Oosten, Jaap van.
ProQuest (Firm)
ProQuest (Firm)
author_variant j v o jv jvo
author2 ProQuest (Firm)
author2_role TeilnehmendeR
author_corporate ProQuest (Firm)
author_sort Oosten, Jaap van.
title Realizability an introduction to its categorical side /
title_sub an introduction to its categorical side /
title_full Realizability [electronic resource] : an introduction to its categorical side / Jaap van Oosten.
title_fullStr Realizability [electronic resource] : an introduction to its categorical side / Jaap van Oosten.
title_full_unstemmed Realizability [electronic resource] : an introduction to its categorical side / Jaap van Oosten.
title_auth Realizability an introduction to its categorical side /
title_new Realizability
title_sort realizability an introduction to its categorical side /
series Studies in logic and the foundations of mathematics ;
series2 Studies in logic and the foundations of mathematics ;
publisher Elsevier,
publishDate 2008
physical xvi, 310 p.
edition 1st ed.
callnumber-first Q - Science
callnumber-subject QA - Mathematics
callnumber-label QA9
callnumber-sort QA 19.7 O66 42008
genre Electronic books.
genre_facet Electronic books.
url https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=331886
illustrated Not Illustrated
oclc_num 476131562
work_keys_str_mv AT oostenjaapvan realizabilityanintroductiontoitscategoricalside
AT proquestfirm realizabilityanintroductiontoitscategoricalside
status_str n
ids_txt_mv (MiAaPQ)500331886
(Au-PeEL)EBL331886
(CaPaEBR)ebr10216693
(CaONFJC)MIL116508
(OCoLC)476131562
hierarchy_parent_title Studies in logic and the foundations of mathematics ; 152
hierarchy_sequence 152.
is_hierarchy_title Realizability an introduction to its categorical side /
container_title Studies in logic and the foundations of mathematics ; 152
author2_original_writing_str_mv noLinkedField
_version_ 1792330683029389312

Similar Items