Explore: Recursion Theory
Discover books, insights, and more — all in one place.
Learn more about Recursion Theory with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “recursion-theory”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1How to Think About Algorithms
By Jeff Edmonds
“How to Think About Algorithms” Metadata:
- Title: How to Think About Algorithms
- Author: Jeff Edmonds
- Language: English
- Number of Pages: Median: 368
- Publisher: Cambridge University Press
- Publish Date: 2008 - 2012 - 2023
“How to Think About Algorithms” Subjects and Themes:
- Subjects: ➤ Computer Technology - Nonfiction - Invariants - Study and teaching - Algorithms - Loops (Group theory) - Recursion theory - Computer algorithms
Edition Identifiers:
- The Open Library ID: ➤ OL48686803M - OL48199284M - OL48186227M - OL47805831M - OL40730745M - OL40482411M - OL34476078M - OL24294761M - OL10437447M - OL10435980M
- Online Computer Library Center (OCLC) ID: 857718440 - 316543869 - 190843470
- Library of Congress Control Number (LCCN): 2008001238
- All ISBNs: ➤ 1009302132 - 9780511413704 - 051141370X - 0511412789 - 9780511412783 - 9780511410451 - 0521614104 - 0521849314 - 0511808240 - 1009302183 - 1009302140 - 051141045X - 9781009302142 - 9781009302180 - 9780521614108 - 9780521849319 - 9781009302135 - 9780511808241
Access and General Info:
- First Year Published: 2008
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Borrowable
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find How to Think About Algorithms at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2Algorithmics
By Gilles Brassard
“Algorithmics” Metadata:
- Title: Algorithmics
- Author: Gilles Brassard
- Language: English
- Number of Pages: Median: 361
- Publisher: Prentice Hall
- Publish Date: 1987 - 1988
- Publish Location: Englewood Cliffs, N.J
“Algorithmics” Subjects and Themes:
- Subjects: Recursion theory - Algorithms
Edition Identifiers:
- The Open Library ID: OL2527094M - OL21127439M
- Online Computer Library Center (OCLC) ID: 17413116
- Library of Congress Control Number (LCCN): 88002326
- All ISBNs: 0130232432 - 9780130232434
Access and General Info:
- First Year Published: 1987
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Borrowable
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find Algorithmics at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
3Transtheoretic foundations of mathematics (general summary of results)
By H. A. Pogorzelski
“Transtheoretic foundations of mathematics (general summary of results)” Metadata:
- Title: ➤ Transtheoretic foundations of mathematics (general summary of results)
- Author: H. A. Pogorzelski
- Language: English
- Number of Pages: Median: 169
- Publisher: ➤ Research Inst for Mathematics - Research Institute for Mathematics
- Publish Date: 1997 - 2004
- Publish Location: Orono, Me - Orono
“Transtheoretic foundations of mathematics (general summary of results)” Subjects and Themes:
- Subjects: Foundations - Arithmetic - Number theory - Goldbach conjecture - Recursion theory
Edition Identifiers:
- The Open Library ID: OL19989732M - OL778236M - OL22723611M
- Library of Congress Control Number (LCCN): 97179587
- All ISBNs: ➤ 0964302330 - 9780964302358 - 9780964302365 - 0964302306 - 0964302365 - 9780964302341 - 0964302349 - 0964302357 - 9780964302303 - 9780964302334
Access and General Info:
- First Year Published: 1997
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Borrowable
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find Transtheoretic foundations of mathematics (general summary of results) at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
4Recursion theory
By Anil Nerode and Richard A. Shore
“Recursion theory” Metadata:
- Title: Recursion theory
- Authors: Anil NerodeRichard A. Shore
- Language: English
- Number of Pages: Median: 528
- Publisher: American Mathematical Society
- Publish Date: 1984 - 1985
- Publish Location: Providence, R.I
“Recursion theory” Subjects and Themes:
- Subjects: Addresses, essays, lectures - Recursion theory
Edition Identifiers:
- The Open Library ID: OL2856010M - OL22296613M
- Online Computer Library Center (OCLC) ID: 11090618
- Library of Congress Control Number (LCCN): 84018525
- All ISBNs: 9780821814475 - 0821814478
Access and General Info:
- First Year Published: 1984
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Borrowable
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find Recursion theory at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
5Induction, recursion, and programming
By Mitchell Wand
“Induction, recursion, and programming” Metadata:
- Title: ➤ Induction, recursion, and programming
- Author: Mitchell Wand
- Language: English
- Number of Pages: Median: 202
- Publisher: North Holland
- Publish Date: 1980
- Publish Location: New York
“Induction, recursion, and programming” Subjects and Themes:
- Subjects: Computer programming - Induction (Mathematics) - Recursion theory
Edition Identifiers:
- The Open Library ID: OL4421013M
- Online Computer Library Center (OCLC) ID: 5798874
- Library of Congress Control Number (LCCN): 79025360
- All ISBNs: 9780444003225 - 0444003223
Access and General Info:
- First Year Published: 1980
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Borrowable
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find Induction, recursion, and programming at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
6Thinking recursively
By Eric Roberts
“Thinking recursively” Metadata:
- Title: Thinking recursively
- Author: Eric Roberts
- Languages: English - ita
- Number of Pages: Median: 188
- Publisher: ➤ John Wiley - Franco Angeli Libri - Wiley - J. Wiley
- Publish Date: 1986 - 1987 - 2005
- Publish Location: ➤ New York - MilanoIl pendiero ricorsivo - Hoboken, NJ
“Thinking recursively” Subjects and Themes:
- Subjects: ➤ Recursion theory - Java (computer program language) - Qa9.6 .r63 2006
Edition Identifiers:
- The Open Library ID: OL3429406M - OL2539370M - OL25229204M
- Online Computer Library Center (OCLC) ID: 699810002 - 12553888
- Library of Congress Control Number (LCCN): 85020365 - 2005054229
- All ISBNs: 9780471816522 - 0471816523 - 0471701467 - 9780471701460
Access and General Info:
- First Year Published: 1986
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Thinking recursively at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
7Fundamentals of mathematical logic
By Peter G. Hinman
“Fundamentals of mathematical logic” Metadata:
- Title: ➤ Fundamentals of mathematical logic
- Author: Peter G. Hinman
- Language: English
- Number of Pages: Median: 886
- Publisher: ➤ A.K. Peters - CRC Press LLC - A K Peters
- Publish Date: 2005 - 2006 - 2018
- Publish Location: ➤ Wellesley, Mass - Wellesley, MA
“Fundamentals of mathematical logic” Subjects and Themes:
- Subjects: ➤ Model theory - Recursion theory - Set theory - Symbolic and mathematical Logic - Logique symbolique et mathématique - Théorie des modèles - Théorie des ensembles - Théorie de la récursivité - MATHEMATICS - General - Mathematische Logik - Wiskundige logica - Lógica matemática (textos avançados) - Logic, symbolic and mathematical
Edition Identifiers:
- The Open Library ID: ➤ OL29416377M - OL3426938M - OL50616666M - OL22718666M - OL29058048M - OL50616897M
- Online Computer Library Center (OCLC) ID: 958798526 - 60796293
- Library of Congress Control Number (LCCN): 2005050968
- All ISBNs: ➤ 1315275538 - 1351991752 - 1439864276 - 9781351994811 - 9781351991759 - 1568812620 - 9781315275536 - 9781568812625 - 9781439864272 - 1351994816
Access and General Info:
- First Year Published: 2005
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Fundamentals of mathematical logic at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
8Complexity, Logic, and Recursion Theory
By Andrea Sorbi, Zuhair Nashed and Earl Taft
“Complexity, Logic, and Recursion Theory” Metadata:
- Title: ➤ Complexity, Logic, and Recursion Theory
- Authors: Andrea SorbiZuhair NashedEarl Taft
- Language: English
- Number of Pages: Median: 380
- Publisher: Taylor & Francis Group
- Publish Date: 1997 - 2019
“Complexity, Logic, and Recursion Theory” Subjects and Themes:
- Subjects: Recursion theory - Logic
Edition Identifiers:
- The Open Library ID: ➤ OL39945104M - OL33694519M - OL33758047M - OL33773979M - OL33486200M - OL33417031M
- All ISBNs: ➤ 1138404101 - 9780429187490 - 1482269759 - 9781420046977 - 1420046977 - 0429187491 - 0429544650 - 0429529953 - 9780429544651 - 9781482269758 - 9780429529955 - 9781138404106
Access and General Info:
- First Year Published: 1997
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Complexity, Logic, and Recursion Theory at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
9Higher recursion theory
By Gerald E. Sacks
“Higher recursion theory” Metadata:
- Title: Higher recursion theory
- Author: Gerald E. Sacks
- Language: English
- Number of Pages: Median: 352
- Publisher: ➤ Cambridge University Press - Springer-Verlag
- Publish Date: 1990 - 2016 - 2017
- Publish Location: New York - Berlin
“Higher recursion theory” Subjects and Themes:
- Subjects: Recursion theory
Edition Identifiers:
- The Open Library ID: OL40794253M - OL28620925M - OL2057243M - OL34746723M - OL51661957M
- Online Computer Library Center (OCLC) ID: 19130395
- Library of Congress Control Number (LCCN): 88035937
- All ISBNs: ➤ 1107168430 - 0387193057 - 9780387193052 - 3662120135 - 9783540193050 - 9781316731741 - 1316717305 - 131673174X - 3540193057 - 9781107168435 - 9783662120132 - 9781316717301
Access and General Info:
- First Year Published: 1990
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Higher recursion theory at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
10Computability theory
By Herbert B. Enderton
“Computability theory” Metadata:
- Title: Computability theory
- Author: Herbert B. Enderton
- Language: English
- Number of Pages: Median: 192
- Publisher: ➤ Academic Press - Elsevier Science & Technology - Elsevier Science & Technology Books
- Publish Date: 2010 - 2011 - 2017
- Publish Location: Amsterdam - Boston
“Computability theory” Subjects and Themes:
- Subjects: Recursion theory
Edition Identifiers:
- The Open Library ID: OL35761545M - OL24479103M - OL33423760M - OL48684261M - OL34568580M
- Online Computer Library Center (OCLC) ID: 801812121 - 641524716
- Library of Congress Control Number (LCCN): 2010038448
- All ISBNs: ➤ 9780123849595 - 9780128101858 - 0123849594 - 0123849586 - 0123878357 - 0128101857 - 9780123849588 - 9780123878359 - 9780123878366 - 0123878365
Access and General Info:
- First Year Published: 2010
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Computability theory at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
11Computability, enumerability, unsolvability
By S. B. Cooper
“Computability, enumerability, unsolvability” Metadata:
- Title: ➤ Computability, enumerability, unsolvability
- Author: S. B. Cooper
- Language: English
- Number of Pages: Median: 355
- Publisher: Cambridge University Press
- Publish Date: 1996 - 2010 - 2011
- Publish Location: Cambridge [England] - New York
“Computability, enumerability, unsolvability” Subjects and Themes:
- Subjects: ➤ Recursion theory - Recursivité, Théorie de la - COMPUTERS - Machine Theory - Rekursionstheorie - Aufsatzsammlung - Recursie - Logica - Récursivité, théorie de la
Edition Identifiers:
- The Open Library ID: OL53927400M - OL40481820M - OL34439579M - OL7746284M - OL808030M
- Online Computer Library Center (OCLC) ID: 503586559
- Library of Congress Control Number (LCCN): 95044750
- All ISBNs: ➤ 0511893132 - 9780511629167 - 0511629168 - 0521557364 - 9780521557368 - 9780511893131 - 9781299404946 - 1299404944
First Setence:
"The finite extension method is a central diagonalization technique in computability theory (see e.g. [Ro67], [Od89], [So87])."
Access and General Info:
- First Year Published: 1996
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Computability, enumerability, unsolvability at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
12Recursion-theoretic hierarchies
By Peter G. Hinman
“Recursion-theoretic hierarchies” Metadata:
- Title: ➤ Recursion-theoretic hierarchies
- Author: Peter G. Hinman
- Language: English
- Number of Pages: Median: 486
- Publisher: ➤ Springer Verlag - Cambridge University Press - Springer-Verlag
- Publish Date: 1978 - 2017
- Publish Location: New York - Berlin
“Recursion-theoretic hierarchies” Subjects and Themes:
- Subjects: Hierarchies - Recursion theory - Logic - Set theory
Edition Identifiers:
- The Open Library ID: OL34732436M - OL28620941M - OL53975185M - OL4539256M
- Online Computer Library Center (OCLC) ID: 2896114
- Library of Congress Control Number (LCCN): 77005559
- All ISBNs: ➤ 9781316731666 - 1316717119 - 1107168244 - 1316731669 - 9781316717110 - 0387079041 - 9780387079042 - 9781107168244
Access and General Info:
- First Year Published: 1978
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Recursion-theoretic hierarchies at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
13Recursion Across Domains
By Luiz Amaral, Marcus Maia, Andrew Nevins and Tom Roeper
“Recursion Across Domains” Metadata:
- Title: Recursion Across Domains
- Authors: Luiz AmaralMarcus MaiaAndrew NevinsTom Roeper
- Language: English
- Number of Pages: Median: 406
- Publisher: ➤ University of Cambridge ESOL Examinations - Cambridge University Press
- Publish Date: 2018 - 2020
“Recursion Across Domains” Subjects and Themes:
- Subjects: ➤ Linguistic analysis (linguistics) - Recursion theory - Language and languages
Edition Identifiers:
- The Open Library ID: OL30598809M - OL30183315M - OL40453168M - OL34733356M
- All ISBNs: ➤ 1108314163 - 1108290701 - 1108406262 - 9781108290708 - 1108418066 - 9781108418065 - 9781108406260 - 9781108314169
Access and General Info:
- First Year Published: 2018
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Recursion Across Domains at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
14Recursion Theory
By Chi Tat Chong and Liang Yu
“Recursion Theory” Metadata:
- Title: Recursion Theory
- Authors: Chi Tat ChongLiang Yu
- Language: English
- Number of Pages: Median: 320
- Publisher: ➤ De Gruyter, Inc. - de Gruyter GmbH, Walter
- Publish Date: 2015
“Recursion Theory” Subjects and Themes:
- Subjects: Recursion theory
Edition Identifiers:
- The Open Library ID: OL36721772M - OL29254035M - OL29254039M - OL34509069M
- Library of Congress Control Number (LCCN): 2015008883
- All ISBNs: ➤ 9783110275551 - 311038129X - 3110275643 - 9783110275643 - 3110275554 - 9783110381290 - 9783110275650 - 3110275651
Access and General Info:
- First Year Published: 2015
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Recursion Theory at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
15E-Recursion, Forcing, and C*-Algebras
By Chitat Chong
“E-Recursion, Forcing, and C*-Algebras” Metadata:
- Title: ➤ E-Recursion, Forcing, and C*-Algebras
- Author: Chitat Chong
- Language: English
- Number of Pages: Median: 228
- Publisher: ➤ World Scientific Publishing Co Pte Ltd
- Publish Date: 2014
“E-Recursion, Forcing, and C*-Algebras” Subjects and Themes:
- Subjects: Recursion theory - C algebras - Model theory - Forcing (Model theory) - C*-algebras
Edition Identifiers:
- The Open Library ID: OL48159345M - OL28551113M - OL49252479M - OL49254511M
- Online Computer Library Center (OCLC) ID: 873007990
- Library of Congress Control Number (LCCN): 2014026066
- All ISBNs: ➤ 9814602639 - 1322026955 - 9789814602648 - 9781322026954 - 9814603252 - 9789814602631 - 9814602647 - 9789814603256
Access and General Info:
- First Year Published: 2014
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find E-Recursion, Forcing, and C*-Algebras at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
16Aspects of Incompleteness
By Per Lindström
“Aspects of Incompleteness” Metadata:
- Title: Aspects of Incompleteness
- Author: Per Lindström
- Language: English
- Number of Pages: Median: 142
- Publisher: Cambridge University Press
- Publish Date: 1997 - 2016 - 2017
“Aspects of Incompleteness” Subjects and Themes:
- Subjects: Recursion theory - Incompleteness theorems
Edition Identifiers:
- The Open Library ID: OL51658925M - OL34539278M - OL40521520M - OL34714799M
- Online Computer Library Center (OCLC) ID: 990324459
- All ISBNs: ➤ 1107167922 - 9781316731543 - 1316731545 - 9783662216354 - 1316716856 - 9781107167926 - 9781316716854 - 3662216353
Access and General Info:
- First Year Published: 1997
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Aspects of Incompleteness at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
17Recursive analysis
By R. L. Goodstein
“Recursive analysis” Metadata:
- Title: Recursive analysis
- Author: R. L. Goodstein
- Language: English
- Publisher: ➤ Dover Publications - Dover Publications, Incorporated
- Publish Date: 2010 - 2013
- Publish Location: Mineola, N.Y
“Recursive analysis” Subjects and Themes:
- Subjects: Recursion theory
Edition Identifiers:
- The Open Library ID: OL38383010M - OL38284033M - OL23935689M - OL24002161M
- Online Computer Library Center (OCLC) ID: 461323750
- Library of Congress Control Number (LCCN): 2009043065
- All ISBNs: ➤ 9781306368681 - 0486477517 - 1306368685 - 9780486477510 - 9780486158150 - 0486158152
Access and General Info:
- First Year Published: 2010
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Recursive analysis at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
18Computable Analysis
By Klaus Weihrauch
“Computable Analysis” Metadata:
- Title: Computable Analysis
- Author: Klaus Weihrauch
- Language: English
- Number of Pages: Median: 292
- Publisher: ➤ Springer - Springer London, Limited
- Publish Date: 2000 - 2012 - 2013
“Computable Analysis” Subjects and Themes:
- Subjects: ➤ Recursion theory - Computable functions - Mathematical analysis - Global analysis (Mathematics) - Symbolic and mathematical Logic - Computer science - Computer software
Edition Identifiers:
- The Open Library ID: OL9063191M - OL35812156M - OL27963488M
- Online Computer Library Center (OCLC) ID: 44469043
- Library of Congress Control Number (LCCN): 00056310
- All ISBNs: ➤ 3642631029 - 3642569994 - 9783540668176 - 9783642631023 - 3540668179 - 9783642569999
First Setence:
"All over the world numerous computers are used for real number computation."
Access and General Info:
- First Year Published: 2000
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Computable Analysis at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
19Recursiveness
By Samuel Eilenberg
“Recursiveness” Metadata:
- Title: Recursiveness
- Author: Samuel Eilenberg
- Language: English
- Number of Pages: Median: 89
- Publisher: Academic Press
- Publish Date: 1970
- Publish Location: New York - London
“Recursiveness” Subjects and Themes:
- Subjects: Recursion theory - Recursive functions
Edition Identifiers:
- The Open Library ID: OL5699839M - OL17752987M - OL14938514M
- Online Computer Library Center (OCLC) ID: 89959 - 318167738
- Library of Congress Control Number (LCCN): 70117099
- All ISBNs: 9780122340505 - 0122340507
Access and General Info:
- First Year Published: 1970
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Recursiveness at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
20Bounded queries in recursion theory
By William I. Gasarch, William Gasarch and Georgia Martin
“Bounded queries in recursion theory” Metadata:
- Title: ➤ Bounded queries in recursion theory
- Authors: William I. GasarchWilliam GasarchGeorgia Martin
- Language: English
- Number of Pages: Median: 353
- Publisher: ➤ Birkhäuser Boston - Island Press - Birkauser
- Publish Date: 1998 - 1999 - 2011
- Publish Location: Boston
“Bounded queries in recursion theory” Subjects and Themes:
- Subjects: ➤ Computational complexity - Recursion theory - Applications of Computing - Applied mathematics - Combinatorics & graph theory - Theory Of Computing - General - Computer Logic - Computers - Mathematics - Science/Mathematics - Logic - Computer Science - Discrete Mathematics - Computability Theory - Computers / Computer Science
Edition Identifiers:
- The Open Library ID: OL8074602M - OL50676229M - OL383537M
- Online Computer Library Center (OCLC) ID: 39936187
- Library of Congress Control Number (LCCN): 98046023
- All ISBNs: 9781461206361 - 1461206367 - 0817639667 - 9780817639662
First Setence:
"In this chapter we present some material from recursion theory that is requisite to understanding the material in later chapters."
Access and General Info:
- First Year Published: 1998
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Bounded queries in recursion theory at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
21Recursion via Pascal
By J. S. Rohl
“Recursion via Pascal” Metadata:
- Title: Recursion via Pascal
- Author: J. S. Rohl
- Language: English
- Number of Pages: Median: 191
- Publisher: Cambridge University Press
- Publish Date: 1984
- Publish Location: ➤ New York - Cambridge [Cambridgeshire]
“Recursion via Pascal” Subjects and Themes:
- Subjects: ➤ Computer programming - Pascal (Computer program language) - Recursion theory - Informatique - Rekursion - Fonctions récursives - Algorithmes - Rekursive Funktion - PASCAL - Pascal (computer program language) - Computers
Edition Identifiers:
- The Open Library ID: OL3183586M
- Library of Congress Control Number (LCCN): 83026335
- All ISBNs: 9780521263290 - 9780521269346 - 0521269342 - 0521263298
Access and General Info:
- First Year Published: 1984
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Recursion via Pascal at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
22Computability, an introduction to recursive function theory
By Nigel Cutland
“Computability, an introduction to recursive function theory” Metadata:
- Title: ➤ Computability, an introduction to recursive function theory
- Author: Nigel Cutland
- Language: English
- Number of Pages: Median: 251
- Publisher: Cambridge University Press
- Publish Date: 1980
- Publish Location: Cambridge [Eng.] - New York
“Computability, an introduction to recursive function theory” Subjects and Themes:
- Subjects: ➤ Computable functions - Recursion theory - Berechenbarkeit - Rekursionstheorie - Recursieve functies - Rekursive Funktion - Logica - Recursivité, Théorie de la - Fonctions calculables - Recursive functions - Qa9.59 .c87
Edition Identifiers:
- The Open Library ID: OL4427288M
- Online Computer Library Center (OCLC) ID: 5170205
- Library of Congress Control Number (LCCN): 79051823
- All ISBNs: 0521223849 - 9780521223843 - 0521294657 - 9780521294652
Access and General Info:
- First Year Published: 1980
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Computability, an introduction to recursive function theory at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
23Recursion Theory Week
By K. Ambos-Spies
“Recursion Theory Week” Metadata:
- Title: Recursion Theory Week
- Author: K. Ambos-Spies
- Language: English
- Number of Pages: Median: 393
- Publisher: Springer-Verlag - Springer
- Publish Date: 1990
- Publish Location: New York - Berlin
“Recursion Theory Week” Subjects and Themes:
- Subjects: Recursion theory - Congresses - Mathematics - Symbolic and mathematical Logic - Mathematical Logic and Foundations
Edition Identifiers:
- The Open Library ID: OL7446505M - OL1581788M - OL9058327M
- Online Computer Library Center (OCLC) ID: 22393159
- Library of Congress Control Number (LCCN): 91105618
- All ISBNs: 9780387527727 - 3540527729 - 9783540527725 - 0387527729
Access and General Info:
- First Year Published: 1990
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Recursion Theory Week at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
24Generalized recursion theory
By Symposium on Generalized Recursion Theory University of Oslo 1972.
“Generalized recursion theory” Metadata:
- Title: Generalized recursion theory
- Author: ➤ Symposium on Generalized Recursion Theory University of Oslo 1972.
- Language: English
- Number of Pages: Median: 456
- Publisher: ➤ American Elsevier Pub. Co - North-Holland Pub. Co. - American Elsevier Pub. Co.
- Publish Date: 1974
- Publish Location: Amsterdam - New York
“Generalized recursion theory” Subjects and Themes:
- Subjects: ➤ Congresses - Recursion theory - Fonctions récursives - Théorie récursivité - Kongress - Congrès - Rekursionstheorie - Récursion - Récursivité, Théorie de la
Edition Identifiers:
- The Open Library ID: OL5433973M - OL7529657M
- Online Computer Library Center (OCLC) ID: 1007181
- Library of Congress Control Number (LCCN): 73081531
- All ISBNs: 044410545X - 9780444105455
Access and General Info:
- First Year Published: 1974
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Generalized recursion theory at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
25Abstract Recursion and Intrinsic Complexity
By Yiannis N. Moschovakis
“Abstract Recursion and Intrinsic Complexity” Metadata:
- Title: ➤ Abstract Recursion and Intrinsic Complexity
- Author: Yiannis N. Moschovakis
- Language: English
- Number of Pages: Median: 250
- Publisher: Cambridge University Press
- Publish Date: 2018
“Abstract Recursion and Intrinsic Complexity” Subjects and Themes:
- Subjects: Algorithms - Recursion theory - Set theory
Edition Identifiers:
- The Open Library ID: OL28710106M - OL34740924M
- All ISBNs: 110841558X - 9781108234238 - 1108234232 - 9781108415583
Author's Alternative Names:
"Yiannis Moschovakis"Access and General Info:
- First Year Published: 2018
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Abstract Recursion and Intrinsic Complexity at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
26Recursive number theory
By Reuben Louis Goodstein
“Recursive number theory” Metadata:
- Title: Recursive number theory
- Author: Reuben Louis Goodstein
- Language: English
- Number of Pages: Median: 190
- Publisher: North-Holland Pub. Co.
- Publish Date: 1957 - 1964
- Publish Location: Amsterdam
“Recursive number theory” Subjects and Themes:
- Subjects: Foundations - Recursion theory - Arithmetic - Numbers, Theory of - Theory of Numbers
Edition Identifiers:
- The Open Library ID: OL17391190M - OL13687346M
Access and General Info:
- First Year Published: 1957
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Recursive number theory at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
27Recursion theory
By Joseph R. Shoenfield
“Recursion theory” Metadata:
- Title: Recursion theory
- Author: Joseph R. Shoenfield
- Language: English
- Number of Pages: Median: 84
- Publisher: ➤ A.K. Peters - Springer - Springer-Verlag
- Publish Date: 1993 - 2001
- Publish Location: ➤ Natick, Mass - New York - Berlin
“Recursion theory” Subjects and Themes:
- Subjects: ➤ Recursion theory - Logic, symbolic and mathematical - Théorie de la récursivité - Rekursionstheorie - Récursivité, théorie de la
Edition Identifiers:
- The Open Library ID: OL6795345M - OL1423930M
- Online Computer Library Center (OCLC) ID: 28845550 - 680275318 - 45316913
- Library of Congress Control Number (LCCN): 00065281 - 93034447
- All ISBNs: ➤ 9783540570936 - 9780387570938 - 1568811497 - 0387570934 - 3540570934 - 9781568811499
Access and General Info:
- First Year Published: 1993
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Recursion theory at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
28Recursive estimation and adaptive control in stochastic linear systems
By Zhiliang Ying
“Recursive estimation and adaptive control in stochastic linear systems” Metadata:
- Title: ➤ Recursive estimation and adaptive control in stochastic linear systems
- Author: Zhiliang Ying
- Language: English
- Number of Pages: Median: 76
- Publish Date: 1987
“Recursive estimation and adaptive control in stochastic linear systems” Subjects and Themes:
- Subjects: Recursion theory - Estimation theory - Control theory - Statistical communication theory - Linear theory
Edition Identifiers:
- The Open Library ID: OL52848778M - OL52846693M
- Online Computer Library Center (OCLC) ID: 84194639 - 507598713
Access and General Info:
- First Year Published: 1987
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Recursive estimation and adaptive control in stochastic linear systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
29Algorithm design
By Marvin C. Paull
“Algorithm design” Metadata:
- Title: Algorithm design
- Author: Marvin C. Paull
- Language: English
- Number of Pages: Median: 490
- Publisher: Wiley
- Publish Date: 1988
- Publish Location: New York
“Algorithm design” Subjects and Themes:
- Subjects: Algorithms - Recursion theory
Edition Identifiers:
- The Open Library ID: OL2392217M
- Online Computer Library Center (OCLC) ID: 16355789
- Library of Congress Control Number (LCCN): 87021674
- All ISBNs: 9780471816881 - 0471816884
Access and General Info:
- First Year Published: 1988
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Algorithm design at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
30Cabal Seminar 81-85
By Cabal Seminar (1981-1985 California Institute of Technology and University of California, Los Angeles), Cabal Seminar, D. A. Martin and Alexander S. Kechris
“Cabal Seminar 81-85” Metadata:
- Title: Cabal Seminar 81-85
- Authors: ➤ Cabal Seminar (1981-1985 California Institute of Technology and University of California, Los Angeles)Cabal SeminarD. A. MartinAlexander S. Kechris
- Language: English
- Number of Pages: Median: 224
- Publisher: Springer-Verlag - Springer
- Publish Date: 1988
- Publish Location: Berlin - New York
“Cabal Seminar 81-85” Subjects and Themes:
- Subjects: ➤ Congresses - Recursion theory - Set theory - Mathematics - Symbolic and mathematical Logic - Mathematical Logic and Foundations
Edition Identifiers:
- The Open Library ID: OL2043223M - OL7445955M
- Online Computer Library Center (OCLC) ID: 18191261
- Library of Congress Control Number (LCCN): 88020047
- All ISBNs: 3540500200 - 9780387500201 - 0387500200 - 9783540500209
Access and General Info:
- First Year Published: 1988
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Cabal Seminar 81-85 at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
31Recursion theory and complexity
By Kazan '97 Workshop (1997 Kazanʹ, Russia)
“Recursion theory and complexity” Metadata:
- Title: ➤ Recursion theory and complexity
- Author: ➤ Kazan '97 Workshop (1997 Kazanʹ, Russia)
- Language: English
- Number of Pages: Median: 239
- Publisher: ➤ Walter de Gruyter - W. de Gruyter
- Publish Date: 1999
- Publish Location: New York - Berlin
“Recursion theory and complexity” Subjects and Themes:
- Subjects: Computational complexity - Congresses - Recursion theory
Edition Identifiers:
- The Open Library ID: OL9017293M - OL41208M
- Online Computer Library Center (OCLC) ID: 504708888
- Library of Congress Control Number (LCCN): 99032783
- All ISBNs: 3110165872 - 9783110165876
Access and General Info:
- First Year Published: 1999
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Recursion theory and complexity at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
32Potential wadge classes
By Dominique Lecomte
“Potential wadge classes” Metadata:
- Title: Potential wadge classes
- Author: Dominique Lecomte
- Language: English
- Number of Pages: Median: 83
- Publisher: American Mathematical Society
- Publish Date: 2013
- Publish Location: Providence, Rhode Island
“Potential wadge classes” Subjects and Themes:
- Subjects: Recursion theory - Borel sets - Topology
Edition Identifiers:
- The Open Library ID: OL53071228M - OL30661736M
- Online Computer Library Center (OCLC) ID: 813919246
- Library of Congress Control Number (LCCN): 2012042316
- All ISBNs: 9780821875575 - 0821894595 - 0821875574 - 9780821894590
Access and General Info:
- First Year Published: 2013
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Potential wadge classes at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
33The foundations of mathematics
By Kenneth Kunen
“The foundations of mathematics” Metadata:
- Title: The foundations of mathematics
- Author: Kenneth Kunen
- Language: English
- Number of Pages: Median: 251
- Publisher: College Publications
- Publish Date: 2009
- Publish Location: London
“The foundations of mathematics” Subjects and Themes:
- Subjects: Set theory - Model theory - Recursion theory - Symbolic and mathematical Logic
Edition Identifiers:
- The Open Library ID: OL27039634M
- Online Computer Library Center (OCLC) ID: 473432000
- All ISBNs: 9781904987147 - 1904987141
Access and General Info:
- First Year Published: 2009
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find The foundations of mathematics at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
34Pyramid Algorithms
By Ron Goldman
“Pyramid Algorithms” Metadata:
- Title: Pyramid Algorithms
- Author: Ron Goldman
- Language: English
- Number of Pages: Median: 576
- Publisher: ➤ Elsevier Science & Technology Books - Elsevier Science & Technology
- Publish Date: 2002 - 2014
“Pyramid Algorithms” Subjects and Themes:
- Subjects: Recursion theory - Geometrical drawing
Edition Identifiers:
- The Open Library ID: OL34415098M - OL51035636M
- All ISBNs: 9780080515472 - 9781493303557 - 1493303554 - 0080515479
Access and General Info:
- First Year Published: 2002
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Pyramid Algorithms at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
35Computability and models
By S. B. Cooper
“Computability and models” Metadata:
- Title: Computability and models
- Author: S. B. Cooper
- Language: English
- Number of Pages: Median: 382
- Publisher: ➤ Kluwer/Plenum Publishers - Springer
- Publish Date: 2003
- Publish Location: New York
“Computability and models” Subjects and Themes:
- Subjects: Recursion theory
Edition Identifiers:
- The Open Library ID: OL19288595M - OL9406639M
- Online Computer Library Center (OCLC) ID: 50333723
- Library of Congress Control Number (LCCN): 2002031660
- All ISBNs: 030647400X - 9780306474002
First Setence:
"There exist two kinds of completeness criteria for computably enumerable (c.e.) sets for several reducibilities."
Access and General Info:
- First Year Published: 2003
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Computability and models at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
36Recursion theory week
By K. Ambos-Spies and Gerald E. Sacks
“Recursion theory week” Metadata:
- Title: Recursion theory week
- Authors: K. Ambos-SpiesGerald E. Sacks
- Language: English
- Publisher: Springer London, Limited
- Publish Date: 2006
“Recursion theory week” Subjects and Themes:
- Subjects: Recursion theory - Congresses
Edition Identifiers:
- The Open Library ID: OL37149030M - OL37149192M
- All ISBNs: 9783540395966 - 3540395962 - 3540471421 - 9783540471424
Access and General Info:
- First Year Published: 2006
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Recursion theory week at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
37General recursion theory
By Jens Erik Fenstad
“General recursion theory” Metadata:
- Title: General recursion theory
- Author: Jens Erik Fenstad
- Language: English
- Number of Pages: Median: 225
- Publisher: Springer-Verlag
- Publish Date: 1980
- Publish Location: New York - Berlin
“General recursion theory” Subjects and Themes:
- Subjects: Recursion theory
Edition Identifiers:
- The Open Library ID: OL51666712M - OL4409723M
- Online Computer Library Center (OCLC) ID: 4933389
- Library of Congress Control Number (LCCN): 79013099
- All ISBNs: 3662118246 - 9780387093499 - 9783662118245 - 0387093494
Access and General Info:
- First Year Published: 1980
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find General recursion theory at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
38Classical recursion theory
the theory of functions and sets of natural numbers
By Piergiorgio Odifreddi
“Classical recursion theory” Metadata:
- Title: Classical recursion theory
- Author: Piergiorgio Odifreddi
- Language: English
- Number of Pages: Median: 668
- Publisher: ➤ Sole distributors for the USA and Canada, Elsevier Science Pub. Co. - Elsevier - North-Holland
- Publish Date: 1989 - 1992
- Publish Location: ➤ Amsterdam - New York, N.Y., USA - New York
“Classical recursion theory” Subjects and Themes:
- Subjects: Recursion theory
Edition Identifiers:
- The Open Library ID: OL20895312M - OL2055208M
- Online Computer Library Center (OCLC) ID: 46316149 - 18907888
- Library of Congress Control Number (LCCN): 88033481
- All ISBNs: ➤ 9780444872951 - 0444872957 - 9780444502056 - 9780444894830 - 0444894837 - 044450205X
Author's Alternative Names:
"P. Odifreddi"Access and General Info:
- First Year Published: 1989
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Classical recursion theory at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
39Aspects of incompleteness
By Lindström, Per
“Aspects of incompleteness” Metadata:
- Title: Aspects of incompleteness
- Author: Lindström, Per
- Language: English
- Number of Pages: Median: 646
- Publisher: Springer-Verlag - A.K. Peters
- Publish Date: 1997 - 2003
- Publish Location: New York - Natick, Mass
“Aspects of incompleteness” Subjects and Themes:
- Subjects: Recursion theory - Incompleteness theorems - Bewijstheorie - Onvolledigheidsstelling - Recursie
Edition Identifiers:
- The Open Library ID: OL679233M - OL3567364M
- Online Computer Library Center (OCLC) ID: 49525892
- Library of Congress Control Number (LCCN): 2002066232 - 97025726
- All ISBNs: 3540632131 - 156881173X - 9781568811734 - 9783540632139
Access and General Info:
- First Year Published: 1997
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Aspects of incompleteness at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
40Pyramid algorithms
By Ron Goldman
“Pyramid algorithms” Metadata:
- Title: Pyramid algorithms
- Author: Ron Goldman
- Language: English
- Number of Pages: Median: 564
- Publisher: Morgan Kaufmann
- Publish Date: 2002 - 2003
- Publish Location: San Francisco, Calif
“Pyramid algorithms” Subjects and Themes:
- Subjects: ➤ Data processing - Recursive functions - Geometrical drawing - Recursion theory - Computer graphics - Geometrical models
Edition Identifiers:
- The Open Library ID: OL22477842M - OL9809321M
- Online Computer Library Center (OCLC) ID: 50487388
- Library of Congress Control Number (LCCN): 2002107240
- All ISBNs: 9781558603547 - 1558603549
First Setence:
"We begin with some background material that will be assumed throughout the remainder of this book."
Access and General Info:
- First Year Published: 2002
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Pyramid algorithms at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
41Theory of Computation (Texts in Computer Science)
By Dexter C. Kozen
“Theory of Computation (Texts in Computer Science)” Metadata:
- Title: ➤ Theory of Computation (Texts in Computer Science)
- Author: Dexter C. Kozen
- Language: English
- Number of Pages: Median: 426
- Publisher: Springer
- Publish Date: 2006
“Theory of Computation (Texts in Computer Science)” Subjects and Themes:
- Subjects: ➤ Mathematics - Computational complexity - Recursion theory - Computer science - Computer science, mathematics - Mathematische programmering - Information theory - Computer software - Theory of Computation - Computational Mathematics and Numerical Analysis - Computational Science and Engineering - Computation by Abstract Devices - Algorithm Analysis and Problem Complexity
Edition Identifiers:
- The Open Library ID: OL8962538M
- Online Computer Library Center (OCLC) ID: 63137198
- Library of Congress Control Number (LCCN): 2005937504
- All ISBNs: 9781846282973 - 1846282977
Access and General Info:
- First Year Published: 2006
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Theory of Computation (Texts in Computer Science) at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
42Programs, recursion, and unbounded choice
By Wim H. Hesselink
“Programs, recursion, and unbounded choice” Metadata:
- Title: ➤ Programs, recursion, and unbounded choice
- Author: Wim H. Hesselink
- Language: English
- Number of Pages: Median: 223
- Publisher: Cambridge University Press
- Publish Date: 1992 - 2011
- Publish Location: Cambridge - New York, NY, USA
“Programs, recursion, and unbounded choice” Subjects and Themes:
- Subjects: ➤ Computer programming - Semantics - Computers, psychological aspects - Computer programs - Mathematics - Recursion theory - Symbolic and mathematical Logic
Edition Identifiers:
- The Open Library ID: OL40469062M - OL1345359M
- Online Computer Library Center (OCLC) ID: 26339539
- Library of Congress Control Number (LCCN): 92232354
- All ISBNs: 9780511879210 - 0521404363 - 9780521404365 - 0511879210
Access and General Info:
- First Year Published: 1992
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Programs, recursion, and unbounded choice at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
43B - degrees for weakly inadmissable b
By Colin George Bailey
“B - degrees for weakly inadmissable b” Metadata:
- Title: ➤ B - degrees for weakly inadmissable b
- Author: Colin George Bailey
- Language: English
- Number of Pages: Median: 83
- Publish Date: 1984
“B - degrees for weakly inadmissable b” Subjects and Themes:
- Subjects: Recursion theory
Edition Identifiers:
- The Open Library ID: OL57422000M - OL57421999M
- Online Computer Library Center (OCLC) ID: 13182091 - 13182133
Access and General Info:
- First Year Published: 1984
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find B - degrees for weakly inadmissable b at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
44Recursion theory for metamathematics
By Raymond M. Smullyan
“Recursion theory for metamathematics” Metadata:
- Title: ➤ Recursion theory for metamathematics
- Author: Raymond M. Smullyan
- Language: English
- Number of Pages: Median: 163
- Publisher: Oxford University Press
- Publish Date: 1993
- Publish Location: New York
“Recursion theory for metamathematics” Subjects and Themes:
- Subjects: Recursion theory - Récursivité, Théorie de la
Edition Identifiers:
- The Open Library ID: OL40396489M - OL1735523M
- Online Computer Library Center (OCLC) ID: 26974961
- Library of Congress Control Number (LCCN): 92040495
- All ISBNs: 9781280443374 - 1280443375 - 019508232X - 9780195082326
Author's Alternative Names:
"Raymond Smullyan", "Raymond M. Smullyan", "M. Smullyan Raymond" and "R.M. Smullyan"Access and General Info:
- First Year Published: 1993
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Recursion theory for metamathematics at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
45Set theory and hierarchy theory V
By Conference on Set Theory and Hierarchy Theory Bierutowice, Poland 1976.
“Set theory and hierarchy theory V” Metadata:
- Title: ➤ Set theory and hierarchy theory V
- Author: ➤ Conference on Set Theory and Hierarchy Theory Bierutowice, Poland 1976.
- Language: English
- Number of Pages: Median: 358
- Publisher: Springer-Verlag
- Publish Date: 1977
- Publish Location: New York - Berlin
“Set theory and hierarchy theory V” Subjects and Themes:
- Subjects: Congresses - Hierarchies - Model theory - Recursion theory - Set theory
Edition Identifiers:
- The Open Library ID: OL4283262M
- Library of Congress Control Number (LCCN): 78309663
- All ISBNs: 0387085211 - 9780387085210
Access and General Info:
- First Year Published: 1977
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Set theory and hierarchy theory V at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
46Rekursionstheorie
By Justus Diller
“Rekursionstheorie” Metadata:
- Title: Rekursionstheorie
- Author: Justus Diller
- Language: ger
- Number of Pages: Median: 179
- Publisher: ➤ Westfälische Wilhelms-Universität, Institut für mathematische Logik und Grundlagenforschung
- Publish Date: 1976
- Publish Location: Münster i. W
“Rekursionstheorie” Subjects and Themes:
- Subjects: Recursion theory
Edition Identifiers:
- The Open Library ID: OL4347201M
- Library of Congress Control Number (LCCN): 78388932
Access and General Info:
- First Year Published: 1976
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Rekursionstheorie at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
47Contributions to [alpha]- and [beta]-recursion theory
By Maass, Wolfgang
“Contributions to [alpha]- and [beta]-recursion theory” Metadata:
- Title: ➤ Contributions to [alpha]- and [beta]-recursion theory
- Author: Maass, Wolfgang
- Language: English
- Number of Pages: Median: 107
- Publisher: Minerva-Publikation
- Publish Date: 1978
- Publish Location: München
“Contributions to [alpha]- and [beta]-recursion theory” Subjects and Themes:
- Subjects: Recursion theory
Edition Identifiers:
- The Open Library ID: OL4291230M
- Online Computer Library Center (OCLC) ID: 4528732
- Library of Congress Control Number (LCCN): 78318675
- All ISBNs: 3597100155 - 9783597100155
Access and General Info:
- First Year Published: 1978
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Contributions to [alpha]- and [beta]-recursion theory at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
48Sprachkonzepte in der Programmierung
By A. Poigné
“Sprachkonzepte in der Programmierung” Metadata:
- Title: ➤ Sprachkonzepte in der Programmierung
- Author: A. Poigné
- Language: ger
- Number of Pages: Median: 130
- Publisher: ➤ Abt. Informatik, Univ. Dortmund
- Publish Date: 1977
- Publish Location: Dortmund
“Sprachkonzepte in der Programmierung” Subjects and Themes:
- Subjects: ➤ ALGOL (Computer program language) - Programming languages (Electronic computers) - Recursion theory
Edition Identifiers:
- The Open Library ID: OL4038348M
- Library of Congress Control Number (LCCN): 79385293
Access and General Info:
- First Year Published: 1977
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Sprachkonzepte in der Programmierung at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
49Regressive sets and the theory of isols
By Thomas G. McLaughlin
“Regressive sets and the theory of isols” Metadata:
- Title: ➤ Regressive sets and the theory of isols
- Author: Thomas G. McLaughlin
- Language: English
- Number of Pages: Median: 371
- Publisher: M. Dekker
- Publish Date: 1982
- Publish Location: New York
“Regressive sets and the theory of isols” Subjects and Themes:
- Subjects: Isols - Recursion theory - Set theory
Edition Identifiers:
- The Open Library ID: OL3485578M
- Online Computer Library Center (OCLC) ID: 8389394
- Library of Congress Control Number (LCCN): 82005115
- All ISBNs: 0824713370 - 9780824713379
Access and General Info:
- First Year Published: 1982
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Regressive sets and the theory of isols at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
50Undecidability in macroeconomics
By Siddharth Chandra
“Undecidability in macroeconomics” Metadata:
- Title: ➤ Undecidability in macroeconomics
- Author: Siddharth Chandra
- Language: English
- Publisher: ➤ Dept. of Computer Science, Cornell University - National Aeronautics and Space Administration
- Publish Date: 1993
- Publish Location: [Washington, DC - Ithaca, NY
“Undecidability in macroeconomics” Subjects and Themes:
- Subjects: Macroeconomics - Recursion theory
Edition Identifiers:
- The Open Library ID: OL15389311M
Access and General Info:
- First Year Published: 1993
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Undecidability in macroeconomics at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.