Holdings: Higher-order computability

Higher-order computability:

Saved in:

Bibliographic Details
Main Authors:	Longley, John (Author), Normann, Dag (Author)
Format:	Electronic eBook
Language:	English
Published:	Berlin ; Heidelberg Springer [2015]
Series:	Theory and applications of computability
Subjects:	Computer science Computers Computer science / Mathematics Computer Science Theory of Computation Mathematics of Computing Informatik Mathematik Berechnungstheorie
Online Access:	BTU01 FHA01 FHI01 FHM01 FHN01 FKE01 FLA01 FRO01 UBG01 UBM01 UBR01 UBT01 UBW01 UER01 UPA01 Volltext Inhaltsverzeichnis Abstract
Physical Description:	1 Online Ressource (XVI, 571 Seiten, 2 illus)
ISBN:	9783662479926
ISSN:	2190-619X
DOI:	10.1007/978-3-662-47992-6

Staff View

MARC


LEADER	00000nmm a2200000zc 4500
001	BV043209111
003	DE-604
005	20160722
007	cr\|uuu---uuuuu
008	151215s2015 \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d
020			\|a 9783662479926 \|c Online \|9 978-3-662-47992-6
024	7		\|a 10.1007/978-3-662-47992-6 \|2 doi
035			\|a (OCoLC)932033197
035			\|a (DE-599)BVBBV043209111
040			\|a DE-604 \|b ger \|e rda
041	0		\|a eng
049			\|a DE-355 \|a DE-19 \|a DE-Aug4 \|a DE-M347 \|a DE-573 \|a DE-859 \|a DE-703 \|a DE-473 \|a DE-29 \|a DE-20 \|a DE-92 \|a DE-634 \|a DE-860 \|a DE-861 \|a DE-739
082	0		\|a 004.0151 \|2 23
084			\|a ST 134 \|0 (DE-625)143590: \|2 rvk
100	1		\|a Longley, John \|e Verfasser \|0 (DE-588)1095691686 \|4 aut
245	1	0	\|a Higher-order computability \|c John Longley, Dag Normann
264		1	\|a Berlin ; Heidelberg \|b Springer \|c [2015]
264		4	\|c © 2015
300			\|a 1 Online Ressource (XVI, 571 Seiten, 2 illus)
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
490	0		\|a Theory and applications of computability \|x 2190-619X
650		4	\|a Computer science
650		4	\|a Computers
650		4	\|a Computer science / Mathematics
650		4	\|a Computer Science
650		4	\|a Theory of Computation
650		4	\|a Mathematics of Computing
650		4	\|a Informatik
650		4	\|a Mathematik
650	0	7	\|a Berechnungstheorie \|0 (DE-588)4005581-4 \|2 gnd \|9 rswk-swf
689	0	0	\|a Berechnungstheorie \|0 (DE-588)4005581-4 \|D s
689	0		\|5 DE-604
700	1		\|a Normann, Dag \|e Verfasser \|0 (DE-588)1095774662 \|4 aut
776	0	8	\|i Erscheint auch als \|n Druckausgabe \|z 978-3-662-47991-9
856	4	0	\|u https://doi.org/10.1007/978-3-662-47992-6 \|x Verlag \|3 Volltext
856	4	2	\|m Springer Fremddatenuebernahme \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028632272&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
856	4	2	\|m Springer Fremddatenuebernahme \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028632272&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA \|3 Abstract
912			\|a ZDB-2-SCS
940	1		\|q ZDB-2-SCS_2015
999			\|a oai:aleph.bib-bvb.de:BVB01-028632272
966	e		\|u https://doi.org/10.1007/978-3-662-47992-6 \|l BTU01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-47992-6 \|l FHA01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-47992-6 \|l FHI01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-47992-6 \|l FHM01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-47992-6 \|l FHN01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-47992-6 \|l FKE01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-47992-6 \|l FLA01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-47992-6 \|l FRO01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-47992-6 \|l UBG01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-47992-6 \|l UBM01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-47992-6 \|l UBR01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-47992-6 \|l UBT01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-47992-6 \|l UBW01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-47992-6 \|l UER01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-47992-6 \|l UPA01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext

Record in the Search Index

_version_	1804175707544223744
adam_text	HIGHER-ORDER COMPUTABILITY / LONGLEY, JOHN : 2015 TABLE OF CONTENTS / INHALTSVERZEICHNIS INTRODUCTION AND MOTIVATION HISTORICAL SURVEY THEORY OF COMPUTABILITY MODELS THEORY OF LAMBDA ALGEBRAS KLEENE COMPUTABILITY IN A TOTAL SETTING NESTED SEQUENTIAL PROCEDURES PCF AND ITS MODELS TOTAL CONTINUOUS FUNCTIONALS HEREDITARILY EFFECTIVE OPERATIONS PARTIAL CONTINUOUS FUNCTIONALS SEQUENTIALLY REALIZABLE FUNCTIONALS SOME INTENSIONAL MODELS RELATED AND FUTURE WORK REFERENCES INDEX DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT. HIGHER-ORDER COMPUTABILITY / LONGLEY, JOHN : 2015 ABSTRACT / INHALTSTEXT THIS BOOK OFFERS A SELF-CONTAINED EXPOSITION OF THE THEORY OF COMPUTABILITY IN A HIGHER-ORDER CONTEXT, WHERE COMPUTABLE OPERATIONS MAY THEMSELVES BE PASSED AS ARGUMENTS TO OTHER COMPUTABLE OPERATIONS. THE SUBJECT ORIGINATED IN THE 1950S WITH THE WORK OF KLEENE, KREISEL AND OTHERS, AND HAS SINCE EXPANDED IN MANY DIFFERENT DIRECTIONS UNDER THE INFLUENCE OF WORKERS FROM BOTH MATHEMATICAL LOGIC AND COMPUTER SCIENCE. THE IDEAS OF HIGHER-ORDER COMPUTABILITY HAVE PROVED VALUABLE BOTH FOR ELUCIDATING THE CONSTRUCTIVE CONTENT OF LOGICAL SYSTEMS, AND FOR INVESTIGATING THE EXPRESSIVE POWER OF VARIOUS HIGHER-ORDER PROGRAMMING LANGUAGES. IN CONTRAST TO THE WELL-KNOWN SITUATION FOR FIRST-ORDER FUNCTIONS, IT TURNS OUT THAT AT HIGHER TYPES THERE ARE SEVERAL DIFFERENT NOTIONS OF COMPUTABILITY COMPETING FOR OUR ATTENTION, AND EACH OF THESE HAS GIVEN RISE TO ITS OWN STRAND OF RESEARCH. IN THIS BOOK, THE AUTHORS OFFER AN INTEGRATED TREATMENT THAT DRAWS TOGETHER MANY OF THESE STRANDS WITHIN A UNIFYING FRAMEWORK, REVEALING NOT ONLY THE RANGE OF POSSIBLE COMPUTABILITY CONCEPTS BUT THE RELATIONSHIPS BETWEEN THEM. THE BOOK WILL SERVE AS AN IDEAL INTRODUCTION TO THE FIELD FOR BEGINNING GRADUATE STUDENTS, AS WELL AS A REFERENCE FOR ADVANCED RESEARCHERS. DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
any_adam_object	1
author	Longley, John Normann, Dag
author_GND	(DE-588)1095691686 (DE-588)1095774662
author_facet	Longley, John Normann, Dag
author_role	aut aut
author_sort	Longley, John
author_variant	j l jl d n dn
building	Verbundindex
bvnumber	BV043209111
classification_rvk	ST 134
collection	ZDB-2-SCS
ctrlnum	(OCoLC)932033197 (DE-599)BVBBV043209111
dewey-full	004.0151
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	004 - Computer science
dewey-raw	004.0151
dewey-search	004.0151
dewey-sort	14.0151
dewey-tens	000 - Computer science, information, general works
discipline	Informatik
doi_str_mv	10.1007/978-3-662-47992-6
format	Electronic eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03702nmm a2200709zc 4500</leader><controlfield tag="001">BV043209111</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20160722 </controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">151215s2015 \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783662479926</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-662-47992-6</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-662-47992-6</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)932033197</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043209111</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-355</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-739</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.0151</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 134</subfield><subfield code="0">(DE-625)143590:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Longley, John</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1095691686</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Higher-order computability</subfield><subfield code="c">John Longley, Dag Normann</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin ; Heidelberg</subfield><subfield code="b">Springer</subfield><subfield code="c">[2015]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2015</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online Ressource (XVI, 571 Seiten, 2 illus)</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">Theory and applications of computability</subfield><subfield code="x">2190-619X</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computers</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science / Mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Theory of Computation</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics of Computing</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematik</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Berechnungstheorie</subfield><subfield code="0">(DE-588)4005581-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Berechnungstheorie</subfield><subfield code="0">(DE-588)4005581-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Normann, Dag</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1095774662</subfield><subfield code="4">aut</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druckausgabe</subfield><subfield code="z">978-3-662-47991-9</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-662-47992-6</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028632272&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028632272&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SCS_2015</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028632272</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-47992-6</subfield><subfield code="l">BTU01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-47992-6</subfield><subfield code="l">FHA01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-47992-6</subfield><subfield code="l">FHI01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-47992-6</subfield><subfield code="l">FHM01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-47992-6</subfield><subfield code="l">FHN01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-47992-6</subfield><subfield code="l">FKE01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-47992-6</subfield><subfield code="l">FLA01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-47992-6</subfield><subfield code="l">FRO01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-47992-6</subfield><subfield code="l">UBG01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-47992-6</subfield><subfield code="l">UBM01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-47992-6</subfield><subfield code="l">UBR01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-47992-6</subfield><subfield code="l">UBT01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-47992-6</subfield><subfield code="l">UBW01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-47992-6</subfield><subfield code="l">UER01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-47992-6</subfield><subfield code="l">UPA01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection>
id	DE-604.BV043209111
illustrated	Not Illustrated
indexdate	2024-07-10T07:20:34Z
institution	BVB
isbn	9783662479926
issn	2190-619X
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-028632272
oclc_num	932033197
open_access_boolean
owner	DE-355 DE-BY-UBR DE-19 DE-BY-UBM DE-Aug4 DE-M347 DE-573 DE-859 DE-703 DE-473 DE-BY-UBG DE-29 DE-20 DE-92 DE-634 DE-860 DE-861 DE-739
owner_facet	DE-355 DE-BY-UBR DE-19 DE-BY-UBM DE-Aug4 DE-M347 DE-573 DE-859 DE-703 DE-473 DE-BY-UBG DE-29 DE-20 DE-92 DE-634 DE-860 DE-861 DE-739
physical	1 Online Ressource (XVI, 571 Seiten, 2 illus)
psigel	ZDB-2-SCS ZDB-2-SCS_2015
publishDate	2015
publishDateSearch	2015
publishDateSort	2015
publisher	Springer
record_format	marc
series2	Theory and applications of computability
spelling	Longley, John Verfasser (DE-588)1095691686 aut Higher-order computability John Longley, Dag Normann Berlin ; Heidelberg Springer [2015] © 2015 1 Online Ressource (XVI, 571 Seiten, 2 illus) txt rdacontent c rdamedia cr rdacarrier Theory and applications of computability 2190-619X Computer science Computers Computer science / Mathematics Computer Science Theory of Computation Mathematics of Computing Informatik Mathematik Berechnungstheorie (DE-588)4005581-4 gnd rswk-swf Berechnungstheorie (DE-588)4005581-4 s DE-604 Normann, Dag Verfasser (DE-588)1095774662 aut Erscheint auch als Druckausgabe 978-3-662-47991-9 https://doi.org/10.1007/978-3-662-47992-6 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028632272&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028632272&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract
spellingShingle	Longley, John Normann, Dag Higher-order computability Computer science Computers Computer science / Mathematics Computer Science Theory of Computation Mathematics of Computing Informatik Mathematik Berechnungstheorie (DE-588)4005581-4 gnd
subject_GND	(DE-588)4005581-4
title	Higher-order computability
title_auth	Higher-order computability
title_exact_search	Higher-order computability
title_full	Higher-order computability John Longley, Dag Normann
title_fullStr	Higher-order computability John Longley, Dag Normann
title_full_unstemmed	Higher-order computability John Longley, Dag Normann
title_short	Higher-order computability
title_sort	higher order computability
topic	Computer science Computers Computer science / Mathematics Computer Science Theory of Computation Mathematics of Computing Informatik Mathematik Berechnungstheorie (DE-588)4005581-4 gnd
topic_facet	Computer science Computers Computer science / Mathematics Computer Science Theory of Computation Mathematics of Computing Informatik Mathematik Berechnungstheorie
url	https://doi.org/10.1007/978-3-662-47992-6 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028632272&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028632272&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA
work_keys_str_mv	AT longleyjohn higherordercomputability AT normanndag higherordercomputability

Holdings

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection! Get full text

MARC

Record in the Search Index

There is no print copy available.

Similar Items