Zum Inhalt springen Wright, Georg Henrik von [VerfasserIn] On the logic of negation Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Helsingfors: Acad. Bookstore [u.a.], 1959 Erschienen in: Commentationes physico-mathematicae ; 22,4 Gabbay, Dov M. [VerfasserIn]; Šechtman, Valentin B. [VerfasserIn]; Skvortsov, Dmitrij P. [VerfasserIn] Quantification in nonclassical logic / 1 Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Amsterdam; Heidelberg [u.a.]: Elsevier, 2009 Erschienen in: Quantification in nonclassical logic / D. M. Gabbay; V. B. Shehtman; D. P. Skvortsov - Studies in logic and the foundations of mathematics ; 153 Shoenfield, Joseph R. [VerfasserIn] Mathematical logic Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Natick, Mass.: A.K. Peters [u.a.], 2001 Mints, G. E. [VerfasserIn] Selected papers in proof theory Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Napoli [u.a.]: Bibliopolis [u.a.], 1992 Erschienen in: Studies in proof theory / Monographs ; 3 Barwise, Jon [HerausgeberIn] Handbook of mathematical logic - [7th impression] Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Amsterdam [u.a.]: North-Holland Publ., 1991 Erschienen in: Studies in logic and the foundations of mathematics ; 9000 Crossley, John N. [VerfasserIn] Constructive order types Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Amsterdam [usw.]: North-Holland Publ. Co., 1969 Erschienen in: Studies in logic and the foundations of mathematics Idelʹson, A. V. [Sonstige Person, Familie und Körperschaft]; Idel'son, A. V. [BearbeiterIn] Matematičeskaja teorija logičeskogo vyvoda : sbornik perevodov Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Moskva: Izd. Nauka, 1967 Erschienen in: Matematičeskaja logika i osnovanija matematiki Łukasiewicz, Jan [VerfasserIn] ; Borkowski, Ludwik [Sonstige Person, Familie und Körperschaft] Selected works Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Amsterdam: North-Holland Publ. [u.a.], 1970 Erschienen in: Studies in logic and the foundations of mathematics Wright, Georg Henrik von [VerfasserIn] "And then" Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Helsinki: Societas Scientiarum Fennica, 1966 Erschienen in: Commentationes physico-mathematicae ; 32,7 Hackstaff, L. H. [VerfasserIn] Systems of formal logic Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Dordrecht: Reidel, 1966 Tavanec, Petr V. [Sonstige Person, Familie und Körperschaft]; Tavanec, I. V. [Sonstige Person, Familie und Körperschaft] ; Akademija nauk SSSR Primenenie logiki v nauke i technike Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Moskva: Izdat. Akad. Nauk SSSR, 1960 Hintikka, Jaakko [VerfasserIn] A new approach to sentential logic Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Helsingfors: Acad. Bookstore [u.a.], 1953 Erschienen in: Commentationes physico-mathematicae ; 17,2 Hintikka, Jaakko [VerfasserIn] Notes on the quantification theory Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Helsingfors: Acad. Bookstore [u.a.], 1955 Erschienen in: Commentationes physico-mathematicae ; 17,12 Blackburn, Patrick [VerfasserIn]; Rijke, Maarten de [VerfasserIn]; Venema, Yde [VerfasserIn] Modal logic - [4. print. with corr.] Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Cambridge [u.a.]: Cambridge Univ. Press, 2010 Erschienen in: Cambridge tracts in theoretical computer science ; 53,2010 Malinowski, Grzegorz [VerfasserIn] Many-valued logics Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Oxford: Clarendon Press, 1993 Erschienen in: Oxford logic guides ; 2500 Paris, J. B. [VerfasserIn] The uncertain reasoner's companion : a mathematical perspective - [1st paperback version] Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Cambridge [u.a.]: Cambridge University Press, 2006 Erschienen in: Cambridge tracts in theoretical computer science ; 36,2006 Hodel, Richard E. [VerfasserIn] An introduction to mathematical logic Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Boston; London: PWS Pub. Co, 1995 Galton, Antony [VerfasserIn] Logic for information technology Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Chichester; New York; Brisbane: Wiley, 1990 Johnstone, Peter [VerfasserIn]; Johnstone, P. T. [VerfasserIn] Notes on logic and set theory Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Cambridge [u.a.]: Cambridge Univ. Pr., 1987 Erschienen in: Cambridge mathematical textbooks Korfhage, Robert R. [VerfasserIn] Logic and algorithms : with applications to the computer and information sciences - [2. print] Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. New York [u.a.]: Wiley, 1967
Wright, Georg Henrik von [VerfasserIn] On the logic of negation Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Helsingfors: Acad. Bookstore [u.a.], 1959 Erschienen in: Commentationes physico-mathematicae ; 22,4
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Gabbay, Dov M. [VerfasserIn]; Šechtman, Valentin B. [VerfasserIn]; Skvortsov, Dmitrij P. [VerfasserIn] Quantification in nonclassical logic / 1 Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Amsterdam; Heidelberg [u.a.]: Elsevier, 2009 Erschienen in: Quantification in nonclassical logic / D. M. Gabbay; V. B. Shehtman; D. P. Skvortsov - Studies in logic and the foundations of mathematics ; 153
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Shoenfield, Joseph R. [VerfasserIn] Mathematical logic Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Natick, Mass.: A.K. Peters [u.a.], 2001
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Mints, G. E. [VerfasserIn] Selected papers in proof theory Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Napoli [u.a.]: Bibliopolis [u.a.], 1992 Erschienen in: Studies in proof theory / Monographs ; 3
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Barwise, Jon [HerausgeberIn] Handbook of mathematical logic - [7th impression] Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Amsterdam [u.a.]: North-Holland Publ., 1991 Erschienen in: Studies in logic and the foundations of mathematics ; 9000
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Crossley, John N. [VerfasserIn] Constructive order types Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Amsterdam [usw.]: North-Holland Publ. Co., 1969 Erschienen in: Studies in logic and the foundations of mathematics
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Idelʹson, A. V. [Sonstige Person, Familie und Körperschaft]; Idel'son, A. V. [BearbeiterIn] Matematičeskaja teorija logičeskogo vyvoda : sbornik perevodov Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Moskva: Izd. Nauka, 1967 Erschienen in: Matematičeskaja logika i osnovanija matematiki
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Łukasiewicz, Jan [VerfasserIn] ; Borkowski, Ludwik [Sonstige Person, Familie und Körperschaft] Selected works Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Amsterdam: North-Holland Publ. [u.a.], 1970 Erschienen in: Studies in logic and the foundations of mathematics
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Wright, Georg Henrik von [VerfasserIn] "And then" Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Helsinki: Societas Scientiarum Fennica, 1966 Erschienen in: Commentationes physico-mathematicae ; 32,7
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Hackstaff, L. H. [VerfasserIn] Systems of formal logic Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Dordrecht: Reidel, 1966
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Tavanec, Petr V. [Sonstige Person, Familie und Körperschaft]; Tavanec, I. V. [Sonstige Person, Familie und Körperschaft] ; Akademija nauk SSSR Primenenie logiki v nauke i technike Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Moskva: Izdat. Akad. Nauk SSSR, 1960
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Hintikka, Jaakko [VerfasserIn] A new approach to sentential logic Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Helsingfors: Acad. Bookstore [u.a.], 1953 Erschienen in: Commentationes physico-mathematicae ; 17,2
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Hintikka, Jaakko [VerfasserIn] Notes on the quantification theory Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Helsingfors: Acad. Bookstore [u.a.], 1955 Erschienen in: Commentationes physico-mathematicae ; 17,12
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Blackburn, Patrick [VerfasserIn]; Rijke, Maarten de [VerfasserIn]; Venema, Yde [VerfasserIn] Modal logic - [4. print. with corr.] Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Cambridge [u.a.]: Cambridge Univ. Press, 2010 Erschienen in: Cambridge tracts in theoretical computer science ; 53,2010
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Malinowski, Grzegorz [VerfasserIn] Many-valued logics Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Oxford: Clarendon Press, 1993 Erschienen in: Oxford logic guides ; 2500
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Paris, J. B. [VerfasserIn] The uncertain reasoner's companion : a mathematical perspective - [1st paperback version] Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Cambridge [u.a.]: Cambridge University Press, 2006 Erschienen in: Cambridge tracts in theoretical computer science ; 36,2006
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Hodel, Richard E. [VerfasserIn] An introduction to mathematical logic Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Boston; London: PWS Pub. Co, 1995
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Galton, Antony [VerfasserIn] Logic for information technology Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Chichester; New York; Brisbane: Wiley, 1990
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Johnstone, Peter [VerfasserIn]; Johnstone, P. T. [VerfasserIn] Notes on logic and set theory Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Cambridge [u.a.]: Cambridge Univ. Pr., 1987 Erschienen in: Cambridge mathematical textbooks
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Korfhage, Robert R. [VerfasserIn] Logic and algorithms : with applications to the computer and information sciences - [2. print] Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. New York [u.a.]: Wiley, 1967
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
> Medientyp Skip to next facet Aufsätze (5.350) Wert ausschließen Bücher (2.618) Wert ausschließen Konferenzberichte (44) Wert ausschließen Hochschulschriften (24) Wert ausschließen Zeitschriften / Zeitungen / Schriftenreihen (7) Wert ausschließen Elektronische Ressourcen (3) Wert ausschließen Normen (3) Wert ausschließen zeige weitere weniger zeigen
> Verfügbarkeit Skip to next facet Freihand verfügbar (285) Wert ausschließen Magazinbestellung (361) Wert ausschließen Verfügbarkeit vor Ort erfragen (39) Wert ausschließen zeige weitere weniger zeigen
> Standort Skip to next facet Zentralbibliothek (408) Wert ausschließen Bereichsbibliothek DrePunct (264) Wert ausschließen Bestand der TU Dresden (26) Wert ausschließen Zweigbibliothek Erziehungswissenschaften (9) Wert ausschließen Zweigbibliothek Medizin (3) Wert ausschließen Zweigbibliothek Forstwissenschaft (2) Wert ausschließen Zweigbibliothek Rechtswissenschaft (1) Wert ausschließen zeige weitere weniger zeigen
> Rechte-/Nutzungshinweis Skip to next facet Urheberrechtsschutz - Nicht kommerzielle Nutzung gestattet (30) Wert ausschließen Namensnennung (CC BY) (28) Wert ausschließen Namensnennung - Nicht-kommerziell - Keine Bearbeitung (CC BY-NC-ND) (26) Wert ausschließen Urheberrechtsschutz (6) Wert ausschließen Namensnennung - Nicht kommerziell (CC BY-NC) (3) Wert ausschließen Namensnennung - Weitergabe unter gleichen Bedingungen (CC BY-SA) (2) Wert ausschließen zeige weitere weniger zeigen
> Zugangsstatus Skip to next facet Freier Zugang (3.498) Wert ausschließen Eingeschränkter Zugang (89) Wert ausschließen Ohne Angabe (3.822) Wert ausschließen zeige weitere weniger zeigen
> Sprache Skip to next facet Englisch (7.275) Wert ausschließen Nicht zu entscheiden (526) Wert ausschließen Deutsch (234) Wert ausschließen Französisch (31) Wert ausschließen Russisch (21) Wert ausschließen Tschechisch (6) Wert ausschließen Polnisch (4) Wert ausschließen Latein (3) Wert ausschließen Spanisch (3) Wert ausschließen Dänisch (2) Wert ausschließen Bahasa Indonesia (2) Wert ausschließen Italienisch (2) Wert ausschließen Arabisch (1) Wert ausschließen Chinesisch (1) Wert ausschließen Ungarisch (1) Wert ausschließen Ndonga (1) Wert ausschließen Persisch (1) Wert ausschließen Portugiesisch (1) Wert ausschließen Schwedisch (1) Wert ausschließen Ukrainisch (1) Wert ausschließen zeige weitere weniger zeigen
> Fachgebiet Skip to next facet Mathematik (4.892) Wert ausschließen Physik (2.997) Wert ausschließen Philosophie (1.492) Wert ausschließen Informatik (580) Wert ausschließen Technik (111) Wert ausschließen Geschichte (79) Wert ausschließen Wirtschaftswissenschaften (62) Wert ausschließen Allgemeine Naturwissenschaft (53) Wert ausschließen Allgemeine und vergleichende Sprach- und Literaturwissenschaft, Indogermanistik, Außereuropäische Sprachen und Literaturen (49) Wert ausschließen Allgemeines (42) Wert ausschließen Theologie und Religionswissenschaft (30) Wert ausschließen Psychologie (28) Wert ausschließen Chemie und Pharmazie (21) Wert ausschließen Pädagogik (21) Wert ausschließen Biologie (15) Wert ausschließen Medizin (15) Wert ausschließen Geographie (13) Wert ausschließen Kunst und Kunstgeschichte (11) Wert ausschließen Soziologie (10) Wert ausschließen Geologie und Paläontologie (6) Wert ausschließen Rechtswissenschaft (6) Wert ausschließen Land- und Forstwirtschaft, Gartenbau, Fischereiwirtschaft, Hauswirtschaft (4) Wert ausschließen Politologie (4) Wert ausschließen Allgemeine Naturwissenschaften (3) Wert ausschließen Germanistik, Niederlandistik, Skandinavistik (3) Wert ausschließen Klassische Philologie (3) Wert ausschließen Ethnologie (Volks- und Völkerkunde) (2) Wert ausschließen Klassische Archäologie (2) Wert ausschließen Musikwissenschaft (1) Wert ausschließen Neulateinische Philologie (1) Wert ausschließen zeige weitere weniger zeigen
> Person/Institution Skip to next facet Church, Alonzo (66) Wert ausschließen Orey, Steven (29) Wert ausschließen Goodstein, R. L. (26) Wert ausschließen ScienceDirect (Online service) (26) Wert ausschließen Mostowski, Andrzej (25) Wert ausschließen Börger, Egon (23) Wert ausschließen Moaaz, Osama (22) Wert ausschließen Nerode, Anil (21) Wert ausschließen Robinson, Abraham (20) Wert ausschließen Chesneau, Christophe (18) Wert ausschließen Gabbay, Dov M. (18) Wert ausschließen Bernays, Paul (17) Wert ausschließen Cesarano, Clemente (17) Wert ausschließen Mlaiki, Nabil (17) Wert ausschließen Quine, W. V. (17) Wert ausschließen Schütte, Kurt (17) Wert ausschließen Smarandache, Florentin (17) Wert ausschließen Castillo, Oscar (16) Wert ausschließen Davis, Martin (16) Wert ausschließen Ntouyas, Sotiris K. (16) Wert ausschließen Radenović, Stojan (16) Wert ausschließen Torres, Delfim F. M. (16) Wert ausschließen Srivastava, Hari Mohan (15) Wert ausschließen Steffen, Bernhard (15) Wert ausschließen Almetwally, Ehab M. (14) Wert ausschließen Kohlenbach, Ulrich (14) Wert ausschließen McKinsey, J. C. C. (14) Wert ausschließen Voronkov, Andrei (14) Wert ausschließen Dalen, Dirk van (13) Wert ausschließen Henkin, Leon (13) Wert ausschließen Melin, Patricia (13) Wert ausschließen Rozenberg, Grzegorz (13) Wert ausschließen Wang, Chia-Nan (13) Wert ausschließen Barwise, Jon (12) Wert ausschließen De la Sen, Manuel (12) Wert ausschließen Ebbinghaus, Heinz-Dieter (12) Wert ausschließen Ehrig, Hartmut (12) Wert ausschließen Hájek, Petr (12) Wert ausschließen IEEE Computer Society Technical Committee on Mathematical Foundations of Computing (12) Wert ausschließen Mattern, Friedemann (12) Wert ausschließen Sudan, Madhu (12) Wert ausschließen Vardi, Moshe Y. (12) Wert ausschließen Vaughan, H. E. (12) Wert ausschließen Zhang, Xiaohong (12) Wert ausschließen Agarwal, Ravi P. (11) Wert ausschließen Carnap, Rudolf (11) Wert ausschließen Elgarhy, Mohammed (11) Wert ausschließen Elshahhat, Ahmed (11) Wert ausschließen Flum, Jörg (11) Wert ausschließen Hutchison, David (11) Wert ausschließen Kanade, Takeo (11) Wert ausschließen Kittler, Josef (11) Wert ausschließen Kleene, S. C. (11) Wert ausschließen Kleinberg, Jon (11) Wert ausschließen Mendelson, Elliott (11) Wert ausschließen Mitchell, John C. (11) Wert ausschließen Müller, Gert H. (11) Wert ausschließen Naor, Moni (11) Wert ausschließen Nierstrasz, Oscar (11) Wert ausschließen Pandu Rangan, C. (11) Wert ausschließen Péter, Rózsa (11) Wert ausschließen Rathjen, Michael (11) Wert ausschließen Rosser, Barkley (11) Wert ausschließen Singleterry, Ann M. (11) Wert ausschließen Terzopoulos, Demetri (11) Wert ausschließen Tygar, Doug (11) Wert ausschließen Weikum, Gerhard (11) Wert ausschließen Frege, Gottlob (10) Wert ausschließen Henle, Paul (10) Wert ausschließen McNaughton, Robert (10) Wert ausschließen O’Regan, Donal (10) Wert ausschließen Schwichtenberg, Helmut (10) Wert ausschließen Sessa, Salvatore (10) Wert ausschließen Sitthiwirattham, Thanin (10) Wert ausschließen Tariboon, Jessada (10) Wert ausschließen Tariq, Muhammad (10) Wert ausschließen Akram, Muhammad (9) Wert ausschließen Buss, Samuel (9) Wert ausschließen Cotîrlă, Luminiţa-Ioana (9) Wert ausschließen Crossley, John N. (9) Wert ausschließen Feferman, Solomon (9) Wert ausschließen Langford, C. H. (9) Wert ausschließen Löwe, Benedikt (9) Wert ausschließen Moschovakis, Yiannis N. (9) Wert ausschließen Pearce, David (9) Wert ausschließen Saadeh, Rania (9) Wert ausschließen Shapiro, Stewart (9) Wert ausschließen Siefkes, Dirk (9) Wert ausschließen Srivastava, Rekha (9) Wert ausschließen Ullah, Kifayat (9) Wert ausschließen Vollmer, Heribert (9) Wert ausschließen Calmet, Jacques (8) Wert ausschließen Cho, Nak Eun (8) Wert ausschließen Dang, Thanh-Tuan (8) Wert ausschließen Du, Wei-Shih (8) Wert ausschließen El-Morshedy, Mahmoud (8) Wert ausschließen Enderton, H. B. (8) Wert ausschließen Ferebee, Ann S. (8) Wert ausschließen Fitch, Frederic B. (8) Wert ausschließen Halmos, Paul R. (8) Wert ausschließen zeige weitere weniger zeigen
> Kollektion Skip to next facet MDPI AG (CrossRef) (2.880) Wert ausschließen Verbunddaten SWB (2.518) Wert ausschließen Cambridge University Press (CUP) (CrossRef) (1.124) Wert ausschließen JSTOR Mathematics & Statistics (277) Wert ausschließen JSTOR Arts & Sciences I Archive (187) Wert ausschließen Elsevier (CrossRef) (139) Wert ausschließen Springer Berlin Heidelberg (CrossRef) (133) Wert ausschließen Elsevier BV (CrossRef) (110) Wert ausschließen Springer Science and Business Media LLC (CrossRef) (102) Wert ausschließen BASE - Bielefeld Academic Search Engine (95) Wert ausschließen Elsevier eBook collection on ScienceDirect - Mathematics (69) Wert ausschließen Lizenzfreie Online-Ressourcen (68) Wert ausschließen JSTOR Arts & Sciences II Archive (59) Wert ausschließen IOP Publishing (CrossRef) (54) Wert ausschließen JSTOR Arts & Sciences VII Archive (48) Wert ausschließen JSTOR (CrossRef) (42) Wert ausschließen DROPS - Dagstuhl Research Online Publication Server (Schloss Dagstuhl - Leibniz Center for Informatics ) (38) Wert ausschließen Wiley (CrossRef) (35) Wert ausschließen Oxford University Press (OUP) (CrossRef) (32) Wert ausschließen ETH Zürich Research Collection (30) Wert ausschließen Informa UK Limited (CrossRef) (29) Wert ausschließen AIP Publishing (CrossRef) (28) Wert ausschließen JSTOR Arts & Sciences X Archive (23) Wert ausschließen DOAJ Directory of Open Access Journals (20) Wert ausschließen JSTOR Life Sciences Archive (16) Wert ausschließen American Mathematical Society (AMS) (CrossRef) (15) Wert ausschließen University of Chicago Press (CrossRef) (15) Wert ausschließen Institute of Electrical and Electronics Engineers (IEEE) (CrossRef) (12) Wert ausschließen JSTOR Health & General Sciences (12) Wert ausschließen Persée (12) Wert ausschließen Philosophy Documentation Center (CrossRef) (11) Wert ausschließen Diss online (10) Wert ausschließen JSTOR Arts & Sciences XV Archive (9) Wert ausschließen National Council of Teachers of Mathematics (CrossRef) (9) Wert ausschließen American Association for the Advancement of Science (AAAS) (CrossRef) (8) Wert ausschließen European Mathematical Society - EMS - Publishing House GmbH (CrossRef) (8) Wert ausschließen Walter de Gruyter GmbH (CrossRef) (8) Wert ausschließen Canadian Mathematical Society (CrossRef) (7) Wert ausschließen Duke University Press (CrossRef) (7) Wert ausschließen Eighteenth Century Collections Online / ECCO (6) Wert ausschließen Frontiers Media SA (CrossRef) (6) Wert ausschließen Renate - Repositorium für Naturwissenschaften und Technik (TIB Hannover) (6) Wert ausschließen Association for Computing Machinery (ACM) (CrossRef) (5) Wert ausschließen Institute of Mathematics, Czech Academy of Sciences (CrossRef) (5) Wert ausschließen Project MUSE (CrossRef) (5) Wert ausschließen The Japan Association for Philosophy of Science (CrossRef) (5) Wert ausschließen Tsinghua University Press (CrossRef) (5) Wert ausschließen Fachkatalog Technikgeschichte (4) Wert ausschließen Information Technologies in Education (CrossRef) (4) Wert ausschließen Public Library of Science (PLoS) (CrossRef) (4) Wert ausschließen Publishing House SB RAS (CrossRef) (4) Wert ausschließen Springer International Publishing (CrossRef) (4) Wert ausschließen Author(s) (CrossRef) (3) Wert ausschließen Institute for Operations Research and the Management Sciences (INFORMS) (CrossRef) (3) Wert ausschließen Pleiades Publishing Ltd (CrossRef) (3) Wert ausschließen Springer New York (CrossRef) (3) Wert ausschließen theses.fr (3) Wert ausschließen American Association of Physics Teachers (AAPT) (CrossRef) (2) Wert ausschließen Brill (CrossRef) (2) Wert ausschließen Emerald (CrossRef) (2) Wert ausschließen Horizon Research Publishing Co., Ltd. (CrossRef) (2) Wert ausschließen IOS Press (CrossRef) (2) Wert ausschließen JSTOR Arts & Sciences IV Archive (2) Wert ausschließen Nautos (DIN-Normen) (2) Wert ausschließen Open-Access-Publikationsserver der Humboldt-Universität: edoc-Server (2) Wert ausschließen OpenEdition (CrossRef) (2) Wert ausschließen SAGE Publications (CrossRef) (2) Wert ausschließen SPIIRAS (CrossRef) (2) Wert ausschließen Science Publishing Corporation (CrossRef) (2) Wert ausschließen Scientific Research Publishing, Inc. (CrossRef) (2) Wert ausschließen Steklov Mathematical Institute (CrossRef) (2) Wert ausschließen Universidad Nacional Autonoma de Mexico (CrossRef) (2) Wert ausschließen University of Ljubljana (CrossRef) (2) Wert ausschließen University of Science and Technology, Yemen (CrossRef) (2) Wert ausschließen Uniwersytet Jagiellonski - Wydawnictwo Uniwersytetu Jagiellonskiego (CrossRef) (2) Wert ausschließen ACS Publisher (CrossRef) (1) Wert ausschließen Academic Publications (CrossRef) (1) Wert ausschließen Addleton Academic Publishers (CrossRef) (1) Wert ausschließen American Chemical Society (ACS) (CrossRef) (1) Wert ausschließen Athens Institute for Education and Research ATINER (CrossRef) (1) Wert ausschließen Bangladesh Journals Online (JOL) (CrossRef) (1) Wert ausschließen Bank Indonesia, Central Banking Research Department (CrossRef) (1) Wert ausschließen Bastas Publications (CrossRef) (1) Wert ausschließen Canadian Center of Science and Education (CrossRef) (1) Wert ausschließen Central Library of the Slovak Academy of Sciences (CrossRef) (1) Wert ausschließen Claremont Colleges Library (CrossRef) (1) Wert ausschließen Clute Institute (CrossRef) (1) Wert ausschließen College of Science for Women (CrossRef) (1) Wert ausschließen Copernicus GmbH (CrossRef) (1) Wert ausschließen Czech Technical University in Prague - Central Library (CrossRef) (1) Wert ausschließen David Publishing Company (CrossRef) (1) Wert ausschließen EDP Sciences (CrossRef) (1) Wert ausschließen EconStor (German National Library of Economics, ZBW) (1) Wert ausschließen Edinburgh University Library (CrossRef) (1) Wert ausschließen Editorial CSIC (CrossRef) (1) Wert ausschließen Eldorado - Repositorium der TU Dortmund (1) Wert ausschließen Emerald Group Publishing Limited (CrossRef) (1) Wert ausschließen Erzincan Universitesi Fen Bilimleri Ensitusu Dergisi (CrossRef) (1) Wert ausschließen European Scientific Institute, ESI (CrossRef) (1) Wert ausschließen FapUNIFESP (SciELO) (CrossRef) (1) Wert ausschließen zeige weitere weniger zeigen