| 1. |
Entscheidungen in die weite Zukunft : Ungewissheiten bei der Entsorgung hochradioaktiver Abfälle / herausgegeben von Anne Eckhardt, Frank Becker, Volker Mintzlaff, Dirk Scheer, Roman Seidl. - 1st ed. 2024.. -
Wiesbaden: Springer Fachmedien Wiesbaden, 2024.. - 1 Online-Ressource(IX, 403 S. 37 Abb., 31 Abb. in Farbe.), ISBN 978-3-658-42698-9
(Energiepolitik und Klimaschutz. Energy Policy and Climate Protection)
DOI: 10.1007/978-3-658-42698-9
 Online-Ressource |
|
|
| 2. |
Well-Quasi orders in computation, logic, language and reasoning : a unifying concept of proof theory, automata theory, formal languages and descriptive set theory / Peter M. Schuster, Monika Seisenberger, Andreas Weiermann, editors. -
Cham: Springer Nature Switzerland, [2020]. - 1 Online-Ressource (X, 391 p. 103 illus., 4 illus. in color.), ISBN 978-3-030-30229-0
(Springer eBook Collection)
(Trends in logic, studia logica library ; volume 53)
DOI: 10.1007/978-3-030-30229-0
Online-Ressource |
|
|
| 3. |
Priese, Lutz: Petri-Netze / Lutz Priese · Harro Wimmel. - 2. Auflage. -
Berlin ; Heidelberg: Springer, [2008]. - IX, 374 Seiten : Illustrationen, ISBN 978-3-540-76970-5
(eXamen.press)
 Buch/keine Angabe |
Signatur: LN-U 10-12130::(2)
|
|
| 4. |
Arab society in revolt : the West's Mediterranean challenge / Cesare Merlini ... (ed.). -
Washington, D.C.: Brookings Inst. Press, 2012. - XII, 268 S. : graph. Darst., ISBN 978-0-8157-2396-7
Buch/keine Angabe |
ausleihbar  Signatur: 2016 A 1232
|
|
| 5. |
Goble, Lou: The Blackwell guide to philosophical logic / edited by Lou Goble. -
Malden, Mass: Blackwell Publishers, 2001. - Online Ressource (x, 510 p.), ISBN 978-1-4051-6480-1
(Blackwell philosophy guides ; 4)
DOI: 10.1002/9781405164801
Online-Ressource |
|
|
| 6. |
Konsequente Denkungsart : Studien zu einer philosophischen Tugend / Andree Hahmann/Stefan Klingner (Hg.). -
Hamburg: Meiner, [2024]. - 385 Seiten : Diagramme, ISBN 978-3-7873-4512-0
Buch/keine Angabe  Inhaltsverzeichnis: 1, 2 |
ausleihbar Signatur: 2024 A 3116
|
|
| 7. |
Seligman, Adam B.: Über die Herausforderung der Verschiedenheit und die neue Wertereligion / von Adam B. Seligman und Linda Woodhead ; Übersetzungen von Daniel Schumann ; herausgegeben von Birg… . -
Tübingen: Mohr Siebeck, [2024]. - 198 Seiten, ISBN 978-3-16-163528-1
Buch/keine Angabe |
ausleihbar Signatur: 2024 A 5145
|
|
| 8. |
Stern, August: Matrix logic / August Stern. -
Amsterdam [u.a.]: North-Holland, 1988. - VIII, 215 S. : graph. Darst, ISBN 978-0-444-70432-0
Buch/keine Angabe |
Präsenznutzung
|
|
| 9. |
Truth, syntax and modality : proceedings of the Temple University Conference on Alternative Semantics, Dec. 29-30,1970 / ed. by Hugues Leblanc. -
Amsterdam: North-Holland, 1973. - 317 S.
(Studies in logic and the foundations of mathematics ; 68)
Buch/keine Angabe Inhaltsverzeichnis: 1, 2 |
|
|
| 10. |
V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics / edited by Alex Citkin, Ioannis M. Vandoulakis. - 1st ed. 2022.. -
Cham: Springer International Publishing, 2022.. - 1 Online-Ressource(XI, 313 p. 27 illus.), ISBN 978-3-031-06843-0
(Outstanding Contributions to Logic ; 24)
DOI: 10.1007/978-3-031-06843-0
Online-Ressource |
|
|
| 11. |
Stephanou, Yannis: A theory of truth / Yannis Stephanou (National and Kapodistrian University of Athens). -
Cambridge ; New York, NY: Cambridge University Press, 2024. - xi, 345 Seiten, ISBN 978-1-009-43718-9
(Lecture notes in logic ; 55)
DOI: 10.1017/9781009437141
Buch/keine Angabe |
ausleihbar Signatur: 2024 A 700
|
|
| 12. |
Stein-Smith, Kathleen: The French in our lives : past, present, future - influence and implications / Kathleen Stein-Smith. -
London ; New York: Routledge, Taylor & Francis Group, 2022. - vi, 123 Seiten, ISBN 978-0-367-90327-5
Buch/keine Angabe |
ausleihbar Signatur: 2022 A 4858
|
|
| 13. |
Esparza, Javier: Automata theory : an algorithmic approach / Javier Esparza and Michael Blondin. -
Cambridge, Massachusetts ; London, England: The MIT Press, [2023]. - xv, 541 Seiten : Illustrationen, ISBN 978-0-262-04863-7
Buch/keine Angabe |
Signatur: UBN/ST 136 E77
|
|
| 14. |
Gutzmer, Alexander: Haltung : Warum die Wirtschaft mehr davon braucht - und die Architektur sie schon hat / Alexander Gutzmer. -
Wiesbaden: Springer, [2020]. - 1 Online-Ressource (XIX, 157 Seiten), ISBN 978-3-658-30287-0
(Springer eBook Collection)
DOI: 10.1007/978-3-658-30287-0
Online-Ressource |
|
|
| 15. |
Sandewall, Erik: Features and fluents
1. - . -
Oxford: Clarendon Pr., 1994. - XVII, 328 S. : graph. Darst, ISBN 978-0-19-853845-5
(Oxford logic guides ; 30)
(Oxford logic guides ; 30)
 Mehrteiliges Werk |
Präsenznutzung
|
|
| 16. |
Wagenknecht, Christian: Formale Sprachen, abstrakte Automaten und Compiler : Lehr- und Arbeitsbuch mit FLACI für Grundstudium und Fortbildung / Christian Wagenknecht, Michael Hielscher. - 3., überarbeitete und ergänzte Auflage. -
Wiesbaden: Springer Vieweg, [2022]. - 1 Online-Ressource (X, 266 Seiten) : Illustrationen, ISBN 978-3-658-36853-1
(Springer eBook Collection)
DOI: 10.1007/978-3-658-36853-1
Online-Ressource |
|
|
| 17. |
Stegmüller, Wolfgang: Unvollständigkeit und Unentscheidbarkeit : die metamathematischen Resultate von Gödel, Church, Kleene, Rosser und ihre erkenntnistheoretische Bedeutung / von Wolfgang Stegmüller. -
Wien: Springer, 1959. - 114 S.
Buch/keine Angabe |
|
|
| 18. |
Dutilh Novaes, Catarina: Formal languages in logic : a philosophical and cognitive analysis / Catarina Dutilh Novaes. -
Cambridge ; New York: Cambridge University Press, 2012. - VIII, 275 S., ISBN 978-1-107-02091-7
Online-Ressource |
|
|
| 19. |
Nies, André Otfrid: Computability and randomness / André Nies. -
Oxford [u.a.]: Oxford University Press, 2009. - XV, 433 S., ISBN 978-0-19-923076-1
(Oxford logic guides ; 51)
Online-Ressource |
|
|
| 20. |
Kim, Byunghan: Simplicity theory / Byunghan Kim. - 1. ed.. -
Oxford: Oxford University Press, 2014. - X, 224 S., ISBN 978-0-19-856738-7
(Oxford logic guides ; 53)
Buch/keine Angabe |
Signatur: UBN/SK 130 K49
|
|
Suchhistorie (1 Recherche)
Parallelrecherche im DigiKat läuft noch...
Jahr
