Skip to contents Heiden, Uwe an der [Author]; Bolinger, Raphael [Author] ; Metropolis-Verlag für Ökonomie Gesellschaft und Politik GmbH Mathematik für angehende Ökonomen : Verständlich und kompakt Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Marburg: Metropolis-Verlag, [2016] Moore, Cristopher [Author]; Mertens, Stephan [Author] The nature of computation - [Reprinted 2016 (with corrections)] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Oxford; New York; Auckland; Caoe Town; Dar es Salaam: Oxford University Press, 2016 Revenko, Artem [Author] ; Shaker Verlag Automatic construction of implicative theories for mathematical domains - [1. Aufl.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Herzogenrath: Shaker, 2015 Published in: Berichte aus der Informatik Aigner, Martin [Author]; Ziegler, Günter M. [Author] Das Buch der Beweise - [4. Aufl.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg: Springer Spektrum, 2015 Huber, Martin [Author]; Albertini, Claudia [Author] Eagle-Starthilfe Grundbegriffe der Mathematik : Logik - Mengen - Relationen und Funktionen - Zahlbegriff - [2., bearb. und erw. Aufl.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Leipzig: Edition am Gutenbergplatz Leipzig, 2015 Published in: Eagle ; 72.2015 Stewart, Ian [Author]; Tall, David [Author] The foundations of mathematics - [2. ed.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Oxford: Oxford University Press, 2015 Friedman, Daniel P. [Author]; Eastlund, Carl [Author] The little prover Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge, Massachusetts; London, England: MIT Press, 2015 Logik / Bd. 1, Die Lehre vom Urteil, vom Begriff und vom Schluss Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Norderstedt: Verlag der Wissenschaften, 2015 Published in: Logik / Christoph Sigwart ; 1 Bimbó, Katalin [Author] Proof theory : sequent calculi and related formalisms Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Boca Raton, Fla. [u.a.]: CRC Press, Taylor & Francis, 2015 Published in: Discrete mathematics and its applications Charazišvili, Aleksandr Bežanovič [Author] Set theoretical aspects of real analysis Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Boca Raton, Fla. [u.a.]: CRC Press, 2015 Published in: Monographs and research notes in mathematics Smullyan, Raymond M. [Other] A beginner's guide to mathematical logic Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Mineola, New York: Dover Publications, 2014 Monk, J. Donald [Author]; Monk, James Donald [Author] Cardinal invariants on Boolean algebras - [2., rev. ed.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Basel; Heidelberg [u.a.]: Birkhäuser, 2014 Published in: Progress in mathematics ; 142.2014 Nipkow, Tobias [Author]; Klein, Gerwin [Author] Concrete semantics : with Isabelle/HOL Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cham; Heidelberg; New York: Springer, [2014] Huber, Martin [Author]; Albertini, Claudia [Author] Eagle-Starthilfe Grundbegriffe der Mathematik : Logik – Mengen – Relationen und Funktionen – Zahlbegriff Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Leipzig: Ed. am Gutenbergplatz, 2014 Published in: Eagle ; 72 Beckermann, Ansgar [Author] Einführung in die Logik - [4., durchges. Aufl.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin [u.a.]: de Gruyter, 2014 Published in: De-Gruyter-Studium Manin, Jurij I. [Author] ; Berlemann, Jochem [Translator]; Ehret, Marietta [Translator] e-enterprise Mathematik, Kunst und Zivilisation Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Lemgo: e-enterprise, [2014] Published in: Die weltweit besten mathematischen Artikel im 21. Jahrhundert ; 3 Daciuk, Jan [Author] Optimization of automata - [Wydanie 1] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Gdańsk: Wydawnictwo Politechniki Gdańskiej, 2014 Aigner, Martin [Author]; Ziegler, Günter M. [Author] ; Hofmann, Karl H. [Illustrator] Proofs from THE BOOK - [5. ed.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg: Springer, 2014 Kim, Byunghan [Author] Simplicity theory - [1. ed.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Oxford: Oxford University Press, 2014 Published in: Oxford logic guides ; 5300 Alsina, Claudi [Author]; Nelsen, Roger B. [Author] ; Filk, Thomas [Translator] Bezaubernde Beweise : eine Reise durch die Eleganz der Mathematik Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg: Springer Spektrum, [2013]
Heiden, Uwe an der [Author]; Bolinger, Raphael [Author] ; Metropolis-Verlag für Ökonomie Gesellschaft und Politik GmbH Mathematik für angehende Ökonomen : Verständlich und kompakt Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Marburg: Metropolis-Verlag, [2016]
Moore, Cristopher [Author]; Mertens, Stephan [Author] The nature of computation - [Reprinted 2016 (with corrections)] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Oxford; New York; Auckland; Caoe Town; Dar es Salaam: Oxford University Press, 2016
Revenko, Artem [Author] ; Shaker Verlag Automatic construction of implicative theories for mathematical domains - [1. Aufl.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Herzogenrath: Shaker, 2015 Published in: Berichte aus der Informatik
Aigner, Martin [Author]; Ziegler, Günter M. [Author] Das Buch der Beweise - [4. Aufl.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg: Springer Spektrum, 2015
Huber, Martin [Author]; Albertini, Claudia [Author] Eagle-Starthilfe Grundbegriffe der Mathematik : Logik - Mengen - Relationen und Funktionen - Zahlbegriff - [2., bearb. und erw. Aufl.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Leipzig: Edition am Gutenbergplatz Leipzig, 2015 Published in: Eagle ; 72.2015
Stewart, Ian [Author]; Tall, David [Author] The foundations of mathematics - [2. ed.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Oxford: Oxford University Press, 2015
Friedman, Daniel P. [Author]; Eastlund, Carl [Author] The little prover Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge, Massachusetts; London, England: MIT Press, 2015
Logik / Bd. 1, Die Lehre vom Urteil, vom Begriff und vom Schluss Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Norderstedt: Verlag der Wissenschaften, 2015 Published in: Logik / Christoph Sigwart ; 1
Bimbó, Katalin [Author] Proof theory : sequent calculi and related formalisms Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Boca Raton, Fla. [u.a.]: CRC Press, Taylor & Francis, 2015 Published in: Discrete mathematics and its applications
Charazišvili, Aleksandr Bežanovič [Author] Set theoretical aspects of real analysis Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Boca Raton, Fla. [u.a.]: CRC Press, 2015 Published in: Monographs and research notes in mathematics
Smullyan, Raymond M. [Other] A beginner's guide to mathematical logic Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Mineola, New York: Dover Publications, 2014
Monk, J. Donald [Author]; Monk, James Donald [Author] Cardinal invariants on Boolean algebras - [2., rev. ed.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Basel; Heidelberg [u.a.]: Birkhäuser, 2014 Published in: Progress in mathematics ; 142.2014
Nipkow, Tobias [Author]; Klein, Gerwin [Author] Concrete semantics : with Isabelle/HOL Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cham; Heidelberg; New York: Springer, [2014]
Huber, Martin [Author]; Albertini, Claudia [Author] Eagle-Starthilfe Grundbegriffe der Mathematik : Logik – Mengen – Relationen und Funktionen – Zahlbegriff Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Leipzig: Ed. am Gutenbergplatz, 2014 Published in: Eagle ; 72
Beckermann, Ansgar [Author] Einführung in die Logik - [4., durchges. Aufl.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin [u.a.]: de Gruyter, 2014 Published in: De-Gruyter-Studium
Manin, Jurij I. [Author] ; Berlemann, Jochem [Translator]; Ehret, Marietta [Translator] e-enterprise Mathematik, Kunst und Zivilisation Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Lemgo: e-enterprise, [2014] Published in: Die weltweit besten mathematischen Artikel im 21. Jahrhundert ; 3
Daciuk, Jan [Author] Optimization of automata - [Wydanie 1] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Gdańsk: Wydawnictwo Politechniki Gdańskiej, 2014
Aigner, Martin [Author]; Ziegler, Günter M. [Author] ; Hofmann, Karl H. [Illustrator] Proofs from THE BOOK - [5. ed.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg: Springer, 2014
Kim, Byunghan [Author] Simplicity theory - [1. ed.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Oxford: Oxford University Press, 2014 Published in: Oxford logic guides ; 5300
Alsina, Claudi [Author]; Nelsen, Roger B. [Author] ; Filk, Thomas [Translator] Bezaubernde Beweise : eine Reise durch die Eleganz der Mathematik Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg: Springer Spektrum, [2013]
> Media type Skip to next facet Books (1.428) Wert ausschließen Journals / Newspapers / Series (4) Wert ausschließen Articles (1) Wert ausschließen Electronic Resources (1) Wert ausschließen Images (1) Wert ausschließen Show more show less
> Availability Skip to next facet Open Shelves (743) Wert ausschließen Stack Collection (565) Wert ausschließen Ask for availability (126) Wert ausschließen Show more show less
> Location Skip to next facet Central Library (1.035) Wert ausschließen Departmental Library DrePunct (342) Wert ausschließen TU Dresden holdings (61) Wert ausschließen Branch Library of Educationen (39) Wert ausschließen Branch Library of Medicine (16) Wert ausschließen Branch Library of Forestry (16) Wert ausschließen Branch Library of Law (1) Wert ausschließen Show more show less
> Rights information Skip to next facet In Copyright (12) Wert ausschließen Attribution (CC BY) (7) Wert ausschließen Attribution - Share Alike (CC BY-SA) (1) Wert ausschließen Show more show less
> Access State Skip to next facet Open Access (48) Wert ausschließen Restricted Access (31) Wert ausschließen Without Specification (150) Wert ausschließen Show more show less
> Language Skip to next facet English (906) Wert ausschließen German (526) Wert ausschließen Russian (58) Wert ausschließen French (19) Wert ausschließen Not determined (6) Wert ausschließen Polish (4) Wert ausschließen Czech (2) Wert ausschließen Chinese (1) Wert ausschließen Italian (1) Wert ausschließen Latin (1) Wert ausschließen Spanish (1) Wert ausschließen Show more show less
> Subject Skip to next facet Mathmatics (1.332) Wert ausschließen Philosophy (429) Wert ausschließen Computer science (326) Wert ausschließen Economics (123) Wert ausschließen Theology and religious studies (56) Wert ausschließen General and comparative linguistics and literary studies, indo-european, non-european languages and literatures (55) Wert ausschließen Technology (47) Wert ausschließen General sciences (36) Wert ausschließen Psychology (28) Wert ausschließen Physics (21) Wert ausschließen General (15) Wert ausschließen Sociology (15) Wert ausschließen Geography (6) Wert ausschließen Jurisprudence (5) Wert ausschließen Chemistry and pharmacology (4) Wert ausschließen Musicology (4) Wert ausschließen Political science (4) Wert ausschließen Medicine (3) Wert ausschließen American studies (2) Wert ausschließen Biology (2) Wert ausschließen Art and art history (2) Wert ausschließen Germanic and Scandinavian studies (1) Wert ausschließen History (1) Wert ausschließen Military science (1) Wert ausschließen Slavic studies (1) Wert ausschließen Sports science (1) Wert ausschließen Show more show less
> Creator Skip to next facet ScienceDirect (Online service) (34) Wert ausschließen Gabbay, Dov M. (19) Wert ausschließen Aigner, Martin (13) Wert ausschließen Ebbinghaus, Heinz-Dieter (12) Wert ausschließen Ziegler, Günter M. (12) Wert ausschließen Asser, Günter (11) Wert ausschließen Hermes, Hans (11) Wert ausschließen Dalen, Dirk van (10) Wert ausschließen Flum, Jörg (10) Wert ausschließen Schöning, Uwe (10) Wert ausschließen Barwise, Jon (9) Wert ausschließen Pólya, George (9) Wert ausschließen Sebastian, Hans-Jürgen (9) Wert ausschließen Sieber, Norbert (9) Wert ausschließen Technische Universität Dresden (9) Wert ausschließen Troelstra, Anne S. (9) Wert ausschließen Zeidler, Guenter (9) Wert ausschließen Jeffrey, Richard C. (8) Wert ausschließen Tarski, Alfred (8) Wert ausschließen Thomas, Wolfgang (8) Wert ausschließen Baader, Franz (7) Wert ausschließen Boolos, George (7) Wert ausschließen Carnap, Rudolf (7) Wert ausschließen Freudenthal, Hans (7) Wert ausschließen Gottwald, Siegfried (7) Wert ausschließen Hilbert, David (7) Wert ausschließen Hodges, Wilfrid (7) Wert ausschließen Hofmann, Karl H. (7) Wert ausschließen Kleene, Stephen Cole (7) Wert ausschließen Quine, W. V. (7) Wert ausschließen Rudolph, Sebastian (7) Wert ausschließen Smullyan, Raymond M. (7) Wert ausschließen Stegmüller, Wolfgang (7) Wert ausschließen Benthem, Johan van (6) Wert ausschließen Bernays, Paul (6) Wert ausschließen Blackburn, Patrick (6) Wert ausschließen Castell-Castell, Nikolaus (6) Wert ausschließen Hodkinson, Ian (6) Wert ausschließen Hofstadter, Douglas R. (6) Wert ausschließen Hájek, Petr (6) Wert ausschließen Keisler, H. Jerome (6) Wert ausschließen Klaus, Georg (6) Wert ausschließen Lorenzen, Paul (6) Wert ausschließen Monk, James Donald (6) Wert ausschließen Sikorski, Roman (6) Wert ausschließen Börger, Egon (5) Wert ausschließen Church, Alonzo (5) Wert ausschließen Cresswell, M. J. (5) Wert ausschließen Curry, Haskell B. (5) Wert ausschließen Felscher, Walter (5) Wert ausschließen Fitting, Melvin (5) Wert ausschließen Halmos, Paul R. (5) Wert ausschließen Hoffmann, Dirk W. (5) Wert ausschließen Meinel, Christoph (5) Wert ausschließen Mundhenk, Martin (5) Wert ausschließen Oberschelp, Arnold (5) Wert ausschließen Odifreddi, Piergiorgio (5) Wert ausschließen Rasiowa, Helena (5) Wert ausschließen Rijke, Maarten de (5) Wert ausschließen Robinson, Abraham (5) Wert ausschließen Russell, Bertrand (5) Wert ausschließen Samochvalov, K. F. (5) Wert ausschließen Thiele, Rüdiger (5) Wert ausschließen Varga, Tamás (5) Wert ausschließen Venema, Yde (5) Wert ausschließen Wessel, Horst (5) Wert ausschließen Ziegler, Martin (5) Wert ausschließen Albertini, Claudia (4) Wert ausschließen Barendregt, Hendrik P. (4) Wert ausschließen Benzmüller, Christoph (4) Wert ausschließen Deiser, Oliver (4) Wert ausschließen Deutsch, Michael (4) Wert ausschließen Eršov, Jurij Leonidovič (4) Wert ausschließen Ganter, Bernhard (4) Wert ausschließen Girard, Jean-Yves (4) Wert ausschließen Henkin, Leon (4) Wert ausschließen Hensel, Stephan (4) Wert ausschließen Heuser, Harro (4) Wert ausschließen Huber, Martin (4) Wert ausschließen Huth, Michael (4) Wert ausschließen Hölldobler, Steffen (4) Wert ausschließen Institut Matematiki Imeni S. L. Soboleva Nowosibirsk (4) Wert ausschließen Jaglom, Isaak M. (4) Wert ausschließen Kolʹman, Ėrnest (4) Wert ausschließen Leblanc, Hugues (4) Wert ausschließen Malʹcev, Anatolij I. (4) Wert ausschließen Reynolds, Mark (4) Wert ausschließen Ryan, Mark (4) Wert ausschließen Shoenfield, Joseph R. (4) Wert ausschließen Sominskij, Ilʹja Samuilovič (4) Wert ausschließen Spencer-Brown, G. (4) Wert ausschließen Tietken, Tom Hermann (4) Wert ausschließen Whitesitt, John Eldon (4) Wert ausschließen Ackermann, Wilhelm (3) Wert ausschließen Baldwin, John T. (3) Wert ausschließen Barendregt, Hendrik Pieter (3) Wert ausschließen Bauer, Sebastian (3) Wert ausschließen Beth, Evert Willem (3) Wert ausschließen Bocheński, Joseph M. (3) Wert ausschließen Bodirsky, Manuel (3) Wert ausschließen Show more show less
> Collection Skip to next facet Verbunddaten SWB (1.368) Wert ausschließen Elsevier eBook collection on ScienceDirect - Mathematics (54) Wert ausschließen Lizenzfreie Online-Ressourcen (31) Wert ausschließen Qucosa (22) Wert ausschließen Diss online (13) Wert ausschließen Fachkatalog Technikgeschichte (2) Wert ausschließen Sächsische Bibliografie (1) Wert ausschließen Show more show less