Handbook of mathematical logic

Handbook of mathematical logic / edited by Jon Barwise, with the cooperation of H.J. Keisler ... [et al.].

Saved in:
Bibliographic Details
Superior document:Studies in logic and the foundations of mathematics ; v. 90
:
ProQuest (Firm)
TeilnehmendeR:
Barwise, Jon.
Keisler, H. Jerome.
ProQuest (Firm)
Year of Publication:1977
Language:English
Series:Studies in logic and the foundations of mathematics ; v. 90.
Online Access:
Physical Description:xi, 1165 p.
Tags: Add Tag
No Tags, Be the first to tag this record!
id 500428594
ctrlnum (MiAaPQ)500428594
(Au-PeEL)EBL428594
(CaPaEBR)ebr10305667
(CaONFJC)MIL216918
(OCoLC)437112416
collection bib_alma
fullrecord <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01670nam a2200421 a 4500</leader><controlfield tag="001">500428594</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">760716s1977 ne sb 001 0 eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="z"> 76026032 </subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">072042285X</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">0444863885 (PB)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9780444863881</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9780080933641</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(MiAaPQ)500428594</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(Au-PeEL)EBL428594</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CaPaEBR)ebr10305667</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CaONFJC)MIL216918</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)437112416</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</subfield><subfield code="b">.H32 1977</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">511/.3</subfield></datafield><datafield tag="245" ind1="0" ind2="0"><subfield code="a">Handbook of mathematical logic</subfield><subfield code="h">[electronic resource] /</subfield><subfield code="c">edited by Jon Barwise, with the cooperation of H.J. Keisler ... [et al.].</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">Amsterdam ;</subfield><subfield code="a">New York :</subfield><subfield code="b">North-Holland Pub. Co.,</subfield><subfield code="c">1977.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xi, 1165 p.</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Studies in logic and the foundations of mathematics ;</subfield><subfield code="v">v. 90</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and indexes.</subfield></datafield><datafield tag="505" ind1="0" ind2=" "><subfield code="a">pt. A. Model theory -- pt. B. Set theory -- pt. C. Recursion theory -- pt. D. Proof theory and constructive mathematics.</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="655" ind1=" " ind2="4"><subfield code="a">Electronic books.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Barwise, Jon.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Keisler, H. Jerome.</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">v. 90.</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=428594</subfield><subfield code="z">Click to View</subfield></datafield></record></collection>
record_format marc
spelling Handbook of mathematical logic [electronic resource] / edited by Jon Barwise, with the cooperation of H.J. Keisler ... [et al.].
Amsterdam ; New York : North-Holland Pub. Co., 1977.
xi, 1165 p.
Studies in logic and the foundations of mathematics ; v. 90
Includes bibliographical references and indexes.
pt. A. Model theory -- pt. B. Set theory -- pt. C. Recursion theory -- pt. D. Proof theory and constructive mathematics.
Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
Logic, Symbolic and mathematical.
Electronic books.
Barwise, Jon.
Keisler, H. Jerome.
ProQuest (Firm)
Studies in logic and the foundations of mathematics ; v. 90.
https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=428594 Click to View
language English
format Electronic
eBook
author2 Barwise, Jon.
Keisler, H. Jerome.
ProQuest (Firm)
author_facet Barwise, Jon.
Keisler, H. Jerome.
ProQuest (Firm)
ProQuest (Firm)
author2_variant j b jb
h j k hj hjk
author2_role TeilnehmendeR
TeilnehmendeR
TeilnehmendeR
author_corporate ProQuest (Firm)
author_sort Barwise, Jon.
title Handbook of mathematical logic
spellingShingle Handbook of mathematical logic
Studies in logic and the foundations of mathematics ;
pt. A. Model theory -- pt. B. Set theory -- pt. C. Recursion theory -- pt. D. Proof theory and constructive mathematics.
title_full Handbook of mathematical logic [electronic resource] / edited by Jon Barwise, with the cooperation of H.J. Keisler ... [et al.].
title_fullStr Handbook of mathematical logic [electronic resource] / edited by Jon Barwise, with the cooperation of H.J. Keisler ... [et al.].
title_full_unstemmed Handbook of mathematical logic [electronic resource] / edited by Jon Barwise, with the cooperation of H.J. Keisler ... [et al.].
title_auth Handbook of mathematical logic
title_new Handbook of mathematical logic
title_sort handbook of mathematical logic
series Studies in logic and the foundations of mathematics ;
series2 Studies in logic and the foundations of mathematics ;
publisher North-Holland Pub. Co.,
publishDate 1977
physical xi, 1165 p.
contents pt. A. Model theory -- pt. B. Set theory -- pt. C. Recursion theory -- pt. D. Proof theory and constructive mathematics.
callnumber-first Q - Science
callnumber-subject QA - Mathematics
callnumber-label QA9
callnumber-sort QA 19 H32 41977
genre Electronic books.
genre_facet Electronic books.
url https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=428594
illustrated Not Illustrated
dewey-hundreds 500 - Science
dewey-tens 510 - Mathematics
dewey-ones 511 - General principles of mathematics
dewey-full 511/.3
dewey-sort 3511 13
dewey-raw 511/.3
dewey-search 511/.3
oclc_num 437112416
work_keys_str_mv AT barwisejon handbookofmathematicallogic
AT keislerhjerome handbookofmathematicallogic
AT proquestfirm handbookofmathematicallogic
status_str n
ids_txt_mv (MiAaPQ)500428594
(Au-PeEL)EBL428594
(CaPaEBR)ebr10305667
(CaONFJC)MIL216918
(OCoLC)437112416
hierarchy_parent_title Studies in logic and the foundations of mathematics ; v. 90
hierarchy_sequence v. 90.
is_hierarchy_title Handbook of mathematical logic
container_title Studies in logic and the foundations of mathematics ; v. 90
author2_original_writing_str_mv noLinkedField
noLinkedField
noLinkedField
_version_ 1792330688722108416

Similar Items