Proof and computations

Proof and computations / Helmut Schwichtenberg, Stanley S. Wainer.

Saved in:
Bibliographic Details
Superior document:Perspectives in logic
:
ProQuest (Firm)
Schwichtenberg, Helmut, 1942-
TeilnehmendeR:
Wainer, S. S.
ProQuest (Firm)
Association for Symbolic Logic.
Year of Publication:2012
Language:English
Series:Perspectives in logic.
Online Access:
Physical Description:xiii, 465 p. :; ill.
Tags: Add Tag
No Tags, Be the first to tag this record!
id 500833389
ctrlnum (MiAaPQ)500833389
(Au-PeEL)EBL833389
(CaPaEBR)ebr10533191
(CaONFJC)MIL357983
(OCoLC)775869745
collection bib_alma
fullrecord <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01438nam a2200409Ia 4500</leader><controlfield tag="001">500833389</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">111221s2012 enka sb 001 0 eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">0521517699</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9780521517690</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9781139217101</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(MiAaPQ)500833389</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(Au-PeEL)EBL833389</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CaPaEBR)ebr10533191</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CaONFJC)MIL357983</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)775869745</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.59</subfield><subfield code="b">.S39 2012</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">511.352</subfield><subfield code="2">23</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Schwichtenberg, Helmut,</subfield><subfield code="d">1942-</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Proof and computations</subfield><subfield code="h">[electronic resource] /</subfield><subfield code="c">Helmut Schwichtenberg, Stanley S. Wainer.</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">Cambridge :</subfield><subfield code="b">Cambridge University Press,</subfield><subfield code="c">2012.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xiii, 465 p. :</subfield><subfield code="b">ill.</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Perspectives in logic</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">Computable functions.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Proof theory.</subfield></datafield><datafield tag="655" ind1=" " ind2="4"><subfield code="a">Electronic books.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Wainer, S. S.</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">ProQuest (Firm)</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">Association for Symbolic Logic.</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Perspectives in logic.</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=833389</subfield><subfield code="z">Click to View</subfield></datafield></record></collection>
record_format marc
spelling Schwichtenberg, Helmut, 1942-
Proof and computations [electronic resource] / Helmut Schwichtenberg, Stanley S. Wainer.
Cambridge : Cambridge University Press, 2012.
xiii, 465 p. : ill.
Perspectives in logic
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.
Computable functions.
Proof theory.
Electronic books.
Wainer, S. S.
ProQuest (Firm)
Association for Symbolic Logic.
Perspectives in logic.
https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=833389 Click to View
language English
format Electronic
eBook
author Schwichtenberg, Helmut, 1942-
spellingShingle Schwichtenberg, Helmut, 1942-
Proof and computations
Perspectives in logic
author_facet Schwichtenberg, Helmut, 1942-
Wainer, S. S.
ProQuest (Firm)
Association for Symbolic Logic.
ProQuest (Firm)
Association for Symbolic Logic.
author_variant h s hs
author2 Wainer, S. S.
ProQuest (Firm)
Association for Symbolic Logic.
author2_variant s s w ss ssw
author2_role TeilnehmendeR
TeilnehmendeR
TeilnehmendeR
author_corporate ProQuest (Firm)
Association for Symbolic Logic.
author_sort Schwichtenberg, Helmut, 1942-
title Proof and computations
title_full Proof and computations [electronic resource] / Helmut Schwichtenberg, Stanley S. Wainer.
title_fullStr Proof and computations [electronic resource] / Helmut Schwichtenberg, Stanley S. Wainer.
title_full_unstemmed Proof and computations [electronic resource] / Helmut Schwichtenberg, Stanley S. Wainer.
title_auth Proof and computations
title_new Proof and computations
title_sort proof and computations
series Perspectives in logic
series2 Perspectives in logic
publisher Cambridge University Press,
publishDate 2012
physical xiii, 465 p. : ill.
callnumber-first Q - Science
callnumber-subject QA - Mathematics
callnumber-label QA9
callnumber-sort QA 19.59 S39 42012
genre Electronic books.
genre_facet Electronic books.
url https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=833389
illustrated Illustrated
dewey-hundreds 500 - Science
dewey-tens 510 - Mathematics
dewey-ones 511 - General principles of mathematics
dewey-full 511.352
dewey-sort 3511.352
dewey-raw 511.352
dewey-search 511.352
oclc_num 775869745
work_keys_str_mv AT schwichtenberghelmut proofandcomputations
AT wainerss proofandcomputations
AT proquestfirm proofandcomputations
AT associationforsymboliclogic proofandcomputations
status_str n
ids_txt_mv (MiAaPQ)500833389
(Au-PeEL)EBL833389
(CaPaEBR)ebr10533191
(CaONFJC)MIL357983
(OCoLC)775869745
hierarchy_parent_title Perspectives in logic
is_hierarchy_title Proof and computations
container_title Perspectives in logic
author2_original_writing_str_mv noLinkedField
noLinkedField
noLinkedField
_version_ 1792330724279320577

Similar Items