| 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 |
ausleihbar  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 |
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 |
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 |
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 |
|
|
| 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 |
|
|
| 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 |
|
|
| 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 |
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 |
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 |
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  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 |
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 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 |
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 |
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 |
|
|
| 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 |
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 |
|
|
| 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 |
|
|
| 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 |
Bibliographieeintrag
|
|
Suchhistorie (1 Recherche)
Parallelrecherche im DigiKat läuft noch...
Jahr
