1. |
Boolos, George: Computability and logic / George S. Boolos; John P. Burgess; Richard C. Jeffrey. - 5. ed.. - Cambridge [u.a.]: Cambridge Univ. Press, 2007. - XIII, 350 S. : graph. Darst., ISBN 978-0-521-70146-4
![Buch/keine Angabe](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/book.png) Buch/keine Angabe
|
ausleihbar ![3D-Plan](https://www.ub.uni-heidelberg.de/nav4/grafik/3d-plan-icon.png)
Signatur: 2008 A 2785
|
|
2. |
Boolos, George: Computability and logic / George S. Boolos; Richard Carl Jeffrey. - 2. ed.. - Cambridge u.a.: Cambridge Univ. Press, 1980. - X, 285 S, ISBN 978-0-521-29967-1
![Buch/keine Angabe](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/book.png) Buch/keine Angabe
|
Signatur: UBN/SK 130 B724(2)
|
|
3. |
Boolos, George: Computability and logic / George Boolos ; Richard Jeffrey. - London: Cambridge Univ. Press, 1974. - X, 262 S. : graph. Darst., ISBN 978-0-521-20402-6
![Buch/keine Angabe](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/book.png) Buch/keine Angabe
|
Präsenznutzung
|
|
4. |
Boolos, George: Logic, logic, and logic / George Boolos; with introd. and afterword by John P. Burgess; ed. by Richard Jeffrey. - Cambridge, Mass. [u.a.]: Harvard Univ. Press, 1998. - IX, 443 S. : graph. Darst, ISBN 978-0-674-53766-8
![Buch/keine Angabe](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/book.png) Buch/keine Angabe
|
Präsenznutzung
|
|
5. |
Jeffrey, Richard C.: Formal logic: its scope and limits / Richard C. Jeffrey. - New York [u.a.]: McGraw-Hill, 1967. - XII, 238 S., ISBN 978-0-07-032316-2
![Buch/keine Angabe](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/book.png) Buch/keine Angabe
|
|
|
6. |
Soare, Robert I.: Turing Computability : Theory and Applications / by Robert I. Soare. - Berlin, Heidelberg: Springer, 2016. - Online-Ressource (XXXVI, 263 p. 4 illus, online resource), ISBN 978-3-642-31933-4 (Theory and Applications of Computability, In cooperation with the association Computability in Europe) (SpringerLink : Bücher) (Springer eBook Collection : Computer Science) DOI: 10.1007/978-3-642-31933-4
![Online-Ressource](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/page_world.png) Online-Ressource
|
|
|
7. |
Witt, Kurt-Ulrich: Algorithmische Informationstheorie : Berechenbarkeit und Komplexität verstehen / von Kurt-Ulrich Witt, Martin Eric Müller. - 1st ed. 2020.. - Berlin, Heidelberg: Springer Berlin Heidelberg, 2020.. - 1 Online-Ressource(IX, 184 S. 18 Abb.), ISBN 978-3-662-61694-9 (Springer eBook Collection) DOI: 10.1007/978-3-662-61694-9
![Online-Ressource](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/page_world.png) Online-Ressource
|
|
|
8. |
Weber, Rebecca: Computability theory / Rebecca Weber. - Providence, RI: AMS, American Mathematical Society, 2012. - VII, 203 S. : graph. Darst., ISBN 978-0-8218-7392-2 (Student mathematical library ; 62)
![Buch/keine Angabe](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/book.png) Buch/keine Angabe
|
Signatur: UBN/SK 130 W375
|
|
9. |
Cohen, Daniel E.: Computability and logic / Daniel E. Cohen. - Chichester: Ellis Horwood [u.a.], 1987. - 243 S., ISBN 978-0-7458-0034-9 (Statistics and operational research) (Mathematics and its applications)
![Buch/keine Angabe](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/book.png) Buch/keine Angabe
|
Präsenznutzung
|
|
10. |
Carl, Merlin: Ordinal computability : an introduction to infinitary machines / Merlin Carl. - Berlin ; Boston: De Gruyter, [2019]. - VIII, 333 Seiten : Illustrationen, ISBN 978-3-11-049562-1 (De Gruyter Series in logic and its applications ; volume 9) DOI: 10.1515/9783110496154
![Buch/keine Angabe](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/book.png) Buch/keine Angabe
|
Signatur: UBN/SK 130 C278
|
|
11. |
Fisher, Alec: Formal number theory and computability : a workbook / Alec Fisher. - Oxford: Clarendon Press, 1982. - XIII, 190 S. : zahlr. graph. Darst., ISBN 978-0-19-853188-3 (Oxford logic guides ; 7)
![Buch/keine Angabe](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/book.png) Buch/keine Angabe
![Inhaltsverzeichnis](/https/katalog.ub.uni-heidelberg.de/opacicon/text_list_numbers_g.png) Inhaltsverzeichnis: 1, 2
|
Präsenznutzung
|
|
12. |
Models and computability : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 / ed. by S. Barry Cooper; John K. Truss. - Cambridge [u.a.]: Cambridge University Press, 1999. - IX, 419 S, ISBN 978-0-521-63550-9 (London Mathematical Society lecture note series ; 259)
![Buch/keine Angabe](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/book.png) Buch/keine Angabe
|
Präsenznutzung
|
|
13. |
Cunningham, Daniel W.: Mathematical logic : an introduction / Daniel W. Cunningham. - Berlin ; Boston: De Gruyter, [2023]. - XIII, 256 Seiten : Illustrationen, ISBN 978-3-11-078201-1 (De Gruyter textbook) DOI: 10.1515/9783110782073
![Buch/keine Angabe](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/book.png) Buch/keine Angabe
![Inhaltsverzeichnis](/https/katalog.ub.uni-heidelberg.de/opacicon/text_list_numbers_g.png) Inhaltsverzeichnis: 1, 2
|
Signatur: UBN/SK 130 C973
|
|
14. |
Jeffrey, Richard C.: Formal logic : its scope and limits / Richard Jeffrey. - 2. ed.. - New York [u.a.]: McGraw-Hill, 1981. - XIV, 198 S, ISBN 978-0-07-032321-6
![Buch/keine Angabe](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/book.png) Buch/keine Angabe
|
Präsenznutzung
|
|
15. |
Hopcroft, John E.: Einführung in Automatentheorie, formale Sprachen und Berechenbarkeit / John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman. - 3., aktualisierte Auflage. - München ; Boston ; San Francisco ; Harlow ; Don Mills ; Sydney ; Mexico City ; Madrid ; Amsterdam: Pearson Studium, [2011]. - 592 Seiten : Illustrationen, Diagramme, ISBN 978-3-86894-082-4 (it - Informatik)
![Buch/keine Angabe](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/book.png) Buch/keine Angabe
|
Signatur: LN-U 10-12916::(3)
|
|
16. |
Pursuit of the Universal : 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings / edited by Arnold Beckmann, Laurent Bienvenu, Nataša Jonoska. - Cham: Springer, 2016. - Online-Ressource (XVI, 375 p. 21 illus, online resource), ISBN 978-3-319-40189-8 (Lecture Notes in Computer Science ; 9709) (Theoretical Computer Science and General Issues ; 9709) (SpringerLink : Bücher) (Springer eBook Collection : Computer Science) DOI: 10.1007/978-3-319-40189-8
![Online-Ressource](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/page_world.png) Online-Ressource
|
|
|
17. |
Paulson, Lawrence C.: Logic and computation : interactive proof with Cambridge LCF / Lawrence C. Paulson. - 1. publ.. - Cambridge [u.a.]: Cambridge University Press, 1987. - XIII, 302 S. : graph. Darst., ISBN 978-0-521-34632-0 (Cambridge tracts in theoretical computer science ; 2)
![Buch/keine Angabe](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/book.png) Buch/keine Angabe
|
Signatur: UBN/ST 130 P332
|
|
18. |
Küppers, Bernd-Olaf: The Computability of the World : How Far Can Science Take Us? / by Bernd-Olaf Küppers. - Cham: Springer, 2018. - Online-Ressource (X, 200 p. 40 illus., 38 illus. in color, online resource), ISBN 978-3-319-67369-1 (The Frontiers Collection) (SpringerLink : Bücher) DOI: 10.1007/978-3-319-67369-1
![Online-Ressource](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/page_world.png) Online-Ressource
|
|
|
19. |
Meinel, Christoph: Mathematische Grundlagen der Informatik : mathematisches Denken und Beweisen - eine Einführung / Christoph Meinel, Martin Mundhenk. - 7. Auflage. - Wiesbaden: Springer Vieweg, [2024]. - 1 Online-Ressource (XXI, 317 Seiten, 97 Abb.), ISBN 978-3-658-43136-5 DOI: 10.1007/978-3-658-43136-5
![Online-Ressource](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/page_world.png) Online-Ressource
|
|
|
20. |
The nature of computation : logic, algorithms, applications : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013 ; proceedings / Paola Bonizzoni ... (ed.). - Berlin ; Heidelberg [u.a.]: Springer, 2013. - XVIII, 446 S. : Ill., graph. Darst., ISBN 978-3-642-39052-4 (Lecture notes in computer science ; 7921)
![Buch/keine Angabe](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/book.png) Buch/keine Angabe
|
Bibliographieeintrag
|
|