Computability, complexity, logic

Gespeichert in:
Bibliographische Detailangaben
Format: Elektronisch E-Book
Sprache:English
German
Veröffentlicht: Amsterdam ; New York North-Holland 1989
New York, N.Y., U.S.A Distributors for the U.S.A. and Canada
Schriftenreihe:Studies in logic and the foundations of mathematics v. 128
Schlagworte:
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!

MARC

LEADER 00000nam a2200000 cb4500
001 BV036962896
003 DE-604
005 20230124
007 cr|uuu---uuuuu
008 110118s1989 ne a||| o|||| 00||| eng d
020 |a 0444874062  |9 0-444-87406-2 
020 |a 9780444874061  |9 978-0-444-87406-1 
035 |a (OCoLC)316571944 
035 |a (DE-599)GBVNLM003736911 
040 |a DE-604  |b ger  |e aacr 
041 0 |a eng  |a ger 
044 |a ne  |c XA-NL 
049 |a DE-526  |a DE-522  |a DE-523  |a DE-521  |a DE-634  |a DE-2070s  |a DE-210  |a DE-155  |a DE-150  |a DE-22  |a DE-54  |a DE-128  |a DE-862  |a DE-863  |a DE-898  |a DE-92  |a DE-M347  |a DE-859  |a DE-573  |a DE-1028  |a DE-858  |a DE-1050  |a DE-1102  |a DE-1047  |a DE-1046  |a DE-Aug4  |a DE-706  |a DE-20  |a DE-355  |a DE-739  |a DE-91  |a DE-19  |a DE-29  |a DE-824  |a DE-703  |a DE-473  |a DE-384  |a DE-12  |a DE-860  |a DE-70  |a DE-B768 
050 0 |a QA9.59 
082 0 |a 511.3 
130 0 |a Berechenbarkeit, Komplexitat, Logik. 
245 1 0 |a Computability, complexity, logic  |c E. Borger 
264 1 |a Amsterdam ; New York  |b North-Holland  |c 1989 
264 1 |a New York, N.Y., U.S.A  |b Distributors for the U.S.A. and Canada 
300 |a 1 Online-Ressource (xx, 592 p.)  |b ill  |c 23 cm 
336 |b txt  |2 rdacontent 
337 |b c  |2 rdamedia 
338 |b cr  |2 rdacarrier 
490 0 |a Studies in logic and the foundations of mathematics  |v v. 128 
500 |a Includes index. - Translation of: Berechenbarkeit, Komplexitat, Logik 
533 |a Online-Ausgabe  |f Elsevier e-book collection on ScienceDirect  |n Sonstige Standardnummer des Gesamttitels: 041169-3 
534 |c 1989 
650 4 |a Computable functions 
650 4 |a Computational complexity 
650 4 |a Logic, Symbolic and mathematical 
650 0 7 |a Mathematische Logik  |0 (DE-588)4037951-6  |2 gnd  |9 rswk-swf 
650 0 7 |a Berechenbarkeit  |0 (DE-588)4138368-0  |2 gnd  |9 rswk-swf 
650 0 7 |a Komplexitätstheorie  |0 (DE-588)4120591-1  |2 gnd  |9 rswk-swf 
689 0 0 |a Komplexitätstheorie  |0 (DE-588)4120591-1  |D s 
689 0 |8 1\p  |5 DE-604 
689 1 0 |a Mathematische Logik  |0 (DE-588)4037951-6  |D s 
689 1 |8 2\p  |5 DE-604 
689 2 0 |a Berechenbarkeit  |0 (DE-588)4138368-0  |D s 
689 2 |8 3\p  |5 DE-604 
700 1 |a Borger, Egon  |e Sonstige  |4 oth 
776 0 8 |i Reproduktion von  |t Computability, complexity, logic  |d 1989 
856 4 0 |u https://www.sciencedirect.com/science/book/9780444874061  |x Verlag  |3 Volltext 
912 |a ZDB-1-ELC 
912 |a ZDB-33-ESD 
883 1 |8 1\p  |a cgwrk  |d 20201028  |q DE-101  |u https://d-nb.info/provenance/plan#cgwrk 
883 1 |8 2\p  |a cgwrk  |d 20201028  |q DE-101  |u https://d-nb.info/provenance/plan#cgwrk 
883 1 |8 3\p  |a cgwrk  |d 20201028  |q DE-101  |u https://d-nb.info/provenance/plan#cgwrk 
943 1 |a oai:aleph.bib-bvb.de:BVB01-020877765 

Datensatz im Suchindex

DE-BY-TUM_katkey 1754135
DE-BY-UBM_katkey 4406101
DE-BY-UBR_katkey 4739149
_version_ 1823054696292548608
any_adam_object
building Verbundindex
bvnumber BV036962896
callnumber-first Q - Science
callnumber-label QA9
callnumber-raw QA9.59
callnumber-search QA9.59
callnumber-sort QA 19.59
callnumber-subject QA - Mathematics
collection ZDB-1-ELC
ZDB-33-ESD
ctrlnum (OCoLC)316571944
(DE-599)GBVNLM003736911
dewey-full 511.3
dewey-hundreds 500 - Natural sciences and mathematics
dewey-ones 511 - General principles of mathematics
dewey-raw 511.3
dewey-search 511.3
dewey-sort 3511.3
dewey-tens 510 - Mathematics
discipline Mathematik
format Electronic
eBook
fullrecord <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02688nam a2200601 cb4500</leader><controlfield tag="001">BV036962896</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20230124 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">110118s1989 ne a||| o|||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0444874062</subfield><subfield code="9">0-444-87406-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780444874061</subfield><subfield code="9">978-0-444-87406-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)316571944</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)GBVNLM003736911</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield><subfield code="a">ger</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">ne</subfield><subfield code="c">XA-NL</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-526</subfield><subfield code="a">DE-522</subfield><subfield code="a">DE-523</subfield><subfield code="a">DE-521</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-2070s</subfield><subfield code="a">DE-210</subfield><subfield code="a">DE-155</subfield><subfield code="a">DE-150</subfield><subfield code="a">DE-22</subfield><subfield code="a">DE-54</subfield><subfield code="a">DE-128</subfield><subfield code="a">DE-862</subfield><subfield code="a">DE-863</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-1028</subfield><subfield code="a">DE-858</subfield><subfield code="a">DE-1050</subfield><subfield code="a">DE-1102</subfield><subfield code="a">DE-1047</subfield><subfield code="a">DE-1046</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-70</subfield><subfield code="a">DE-B768</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA9.59</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield></datafield><datafield tag="130" ind1="0" ind2=" "><subfield code="a">Berechenbarkeit, Komplexitat, Logik.</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Computability, complexity, logic</subfield><subfield code="c">E. Borger</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam ; New York</subfield><subfield code="b">North-Holland</subfield><subfield code="c">1989</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York, N.Y., U.S.A</subfield><subfield code="b">Distributors for the U.S.A. and Canada</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (xx, 592 p.)</subfield><subfield code="b">ill</subfield><subfield code="c">23 cm</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Studies in logic and the foundations of mathematics</subfield><subfield code="v">v. 128</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes index. - Translation of: Berechenbarkeit, Komplexitat, Logik</subfield></datafield><datafield tag="533" ind1=" " ind2=" "><subfield code="a">Online-Ausgabe</subfield><subfield code="f">Elsevier e-book collection on ScienceDirect</subfield><subfield code="n">Sonstige Standardnummer des Gesamttitels: 041169-3</subfield></datafield><datafield tag="534" ind1=" " ind2=" "><subfield code="c">1989</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computable functions</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computational complexity</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Berechenbarkeit</subfield><subfield code="0">(DE-588)4138368-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Komplexitätstheorie</subfield><subfield code="0">(DE-588)4120591-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Komplexitätstheorie</subfield><subfield code="0">(DE-588)4120591-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Berechenbarkeit</subfield><subfield code="0">(DE-588)4138368-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="8">3\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Borger, Egon</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Reproduktion von</subfield><subfield code="t">Computability, complexity, logic</subfield><subfield code="d">1989</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://www.sciencedirect.com/science/book/9780444874061</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-1-ELC</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-33-ESD</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">3\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-020877765</subfield></datafield></record></collection>
id DE-604.BV036962896
illustrated Illustrated
indexdate 2025-02-03T17:28:01Z
institution BVB
isbn 0444874062
9780444874061
language English
German
oai_aleph_id oai:aleph.bib-bvb.de:BVB01-020877765
oclc_num 316571944
open_access_boolean
owner DE-526
DE-522
DE-523
DE-521
DE-634
DE-2070s
DE-210
DE-155
DE-BY-UBR
DE-150
DE-22
DE-BY-UBG
DE-54
DE-128
DE-862
DE-BY-FWS
DE-863
DE-BY-FWS
DE-898
DE-BY-UBR
DE-92
DE-M347
DE-859
DE-573
DE-1028
DE-858
DE-1050
DE-1102
DE-1047
DE-1046
DE-Aug4
DE-706
DE-20
DE-355
DE-BY-UBR
DE-739
DE-91
DE-BY-TUM
DE-19
DE-BY-UBM
DE-29
DE-824
DE-703
DE-473
DE-BY-UBG
DE-384
DE-12
DE-860
DE-70
DE-B768
owner_facet DE-526
DE-522
DE-523
DE-521
DE-634
DE-2070s
DE-210
DE-155
DE-BY-UBR
DE-150
DE-22
DE-BY-UBG
DE-54
DE-128
DE-862
DE-BY-FWS
DE-863
DE-BY-FWS
DE-898
DE-BY-UBR
DE-92
DE-M347
DE-859
DE-573
DE-1028
DE-858
DE-1050
DE-1102
DE-1047
DE-1046
DE-Aug4
DE-706
DE-20
DE-355
DE-BY-UBR
DE-739
DE-91
DE-BY-TUM
DE-19
DE-BY-UBM
DE-29
DE-824
DE-703
DE-473
DE-BY-UBG
DE-384
DE-12
DE-860
DE-70
DE-B768
physical 1 Online-Ressource (xx, 592 p.) ill 23 cm
psigel ZDB-1-ELC
ZDB-33-ESD
publishDate 1989
publishDateSearch 1989
publishDateSort 1989
publisher North-Holland
Distributors for the U.S.A. and Canada
record_format marc
series2 Studies in logic and the foundations of mathematics
spellingShingle Computability, complexity, logic
Computable functions
Computational complexity
Logic, Symbolic and mathematical
Mathematische Logik (DE-588)4037951-6 gnd
Berechenbarkeit (DE-588)4138368-0 gnd
Komplexitätstheorie (DE-588)4120591-1 gnd
subject_GND (DE-588)4037951-6
(DE-588)4138368-0
(DE-588)4120591-1
title Computability, complexity, logic
title_alt Berechenbarkeit, Komplexitat, Logik.
title_auth Computability, complexity, logic
title_exact_search Computability, complexity, logic
title_full Computability, complexity, logic E. Borger
title_fullStr Computability, complexity, logic E. Borger
title_full_unstemmed Computability, complexity, logic E. Borger
title_short Computability, complexity, logic
title_sort computability complexity logic
topic Computable functions
Computational complexity
Logic, Symbolic and mathematical
Mathematische Logik (DE-588)4037951-6 gnd
Berechenbarkeit (DE-588)4138368-0 gnd
Komplexitätstheorie (DE-588)4120591-1 gnd
topic_facet Computable functions
Computational complexity
Logic, Symbolic and mathematical
Mathematische Logik
Berechenbarkeit
Komplexitätstheorie
url https://www.sciencedirect.com/science/book/9780444874061
work_keys_str_mv UT berechenbarkeitkomplexitatlogik
AT borgeregon computabilitycomplexitylogic