The mathematics of logic : a guide to completeness theorems and their applications /

The mathematics of logic : a guide to completeness theorems and their applications / / Richard W. Kaye.

Saved in:
Bibliographic Details
:
ProQuest (Firm)
Kaye, Richard
TeilnehmendeR:
ProQuest (Firm)
Year of Publication:2007
Language:English
Online Access:
Physical Description:xi, 204 p. :; ill.
Notes:Includes index.
Tags: Add Tag
No Tags, Be the first to tag this record!
id 500325984
ctrlnum (MiAaPQ)500325984
(Au-PeEL)EBL325984
(CaPaEBR)ebr10202810
(CaONFJC)MIL108531
(OCoLC)181380147
collection bib_alma
fullrecord <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01369nam a2200385Ia 4500</leader><controlfield tag="001">500325984</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">070702s2007 enka s 001 0 eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">GBA752063</subfield><subfield code="2">bnb</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9780521882194 (hbk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">0521882192 (hbk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9780521708777 (pbk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">052170877X (pbk.)</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(MiAaPQ)500325984</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(Au-PeEL)EBL325984</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CaPaEBR)ebr10202810</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CaONFJC)MIL108531</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)181380147</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">.K32 2007</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">511.3</subfield><subfield code="2">22</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Kaye, Richard</subfield><subfield code="q">(Richard W.)</subfield></datafield><datafield tag="245" ind1="1" ind2="4"><subfield code="a">The mathematics of logic</subfield><subfield code="h">[electronic resource] :</subfield><subfield code="b">a guide to completeness theorems and their applications /</subfield><subfield code="c">Richard W. Kaye.</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">Cambridge :</subfield><subfield code="b">Cambridge University Press,</subfield><subfield code="c">2007.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xi, 204 p. :</subfield><subfield code="b">ill.</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes 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">Logic.</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="856" ind1="4" ind2="0"><subfield code="u">https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=325984</subfield><subfield code="z">Click to View</subfield></datafield></record></collection>
record_format marc
spelling Kaye, Richard (Richard W.)
The mathematics of logic [electronic resource] : a guide to completeness theorems and their applications / Richard W. Kaye.
Cambridge : Cambridge University Press, 2007.
xi, 204 p. : ill.
Includes 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.
Logic.
Electronic books.
ProQuest (Firm)
https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=325984 Click to View
language English
format Electronic
eBook
author Kaye, Richard
spellingShingle Kaye, Richard
The mathematics of logic a guide to completeness theorems and their applications /
author_facet Kaye, Richard
ProQuest (Firm)
ProQuest (Firm)
author_variant r k rk
author_fuller (Richard W.)
author2 ProQuest (Firm)
author2_role TeilnehmendeR
author_corporate ProQuest (Firm)
author_sort Kaye, Richard
title The mathematics of logic a guide to completeness theorems and their applications /
title_sub a guide to completeness theorems and their applications /
title_full The mathematics of logic [electronic resource] : a guide to completeness theorems and their applications / Richard W. Kaye.
title_fullStr The mathematics of logic [electronic resource] : a guide to completeness theorems and their applications / Richard W. Kaye.
title_full_unstemmed The mathematics of logic [electronic resource] : a guide to completeness theorems and their applications / Richard W. Kaye.
title_auth The mathematics of logic a guide to completeness theorems and their applications /
title_new The mathematics of logic
title_sort the mathematics of logic a guide to completeness theorems and their applications /
publisher Cambridge University Press,
publishDate 2007
physical xi, 204 p. : ill.
callnumber-first Q - Science
callnumber-subject QA - Mathematics
callnumber-label QA9
callnumber-sort QA 19 K32 42007
genre Electronic books.
genre_facet Electronic books.
url https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=325984
illustrated Illustrated
dewey-hundreds 500 - Science
dewey-tens 510 - Mathematics
dewey-ones 511 - General principles of mathematics
dewey-full 511.3
dewey-sort 3511.3
dewey-raw 511.3
dewey-search 511.3
oclc_num 181380147
work_keys_str_mv AT kayerichard themathematicsoflogicaguidetocompletenesstheoremsandtheirapplications
AT proquestfirm themathematicsoflogicaguidetocompletenesstheoremsandtheirapplications
AT kayerichard mathematicsoflogicaguidetocompletenesstheoremsandtheirapplications
AT proquestfirm mathematicsoflogicaguidetocompletenesstheoremsandtheirapplications
status_str n
ids_txt_mv (MiAaPQ)500325984
(Au-PeEL)EBL325984
(CaPaEBR)ebr10202810
(CaONFJC)MIL108531
(OCoLC)181380147
is_hierarchy_title The mathematics of logic a guide to completeness theorems and their applications /
author2_original_writing_str_mv noLinkedField
_version_ 1792330682439041024

Similar Items