Suche mittels Attribut
aus GlossarWiki, der Glossar-Datenbank der Fachhochschule Augsburg
Diese Seite stellt eine einfache Suchoberfläche zum Finden von Objekten bereit, die ein Attribut mit einem bestimmten Datenwert enthalten. Andere verfügbare Suchoberflächen sind die Attributsuche sowie der Abfragengenerator.
Liste der Ergebnisse
- Frege, G. (1903): Grundgesetze der Arithmetik, Band II + (1903)
- Russell, B. (1908): Mathematical Logic as Based on the Theory of Types + (1908)
- Zermelo, E. (1908): Neuer Beweis für die Möglichkeit einer Wohlordnung + (1908)
- Zermelo, E. (1908): Untersuchungen über die Grundlagen der Mengenlehre + (1908)
- Whitehead, A.N.; Russell, B. (1910): Principia Mathematica – Volume I + (1910)
- Whitehead, A.N.; Russell, B. (1912): Principia Mathematica – Volume II + (1912)
- Whitehead, A.N.; Russell, B. (1913): Principia Mathematica – Volume III + (1913)
- Hausdorff (1914): Grundzüge der Mengenlehre + (1914)
- Wiener, N. (1914): A Simplification of the Logic of Relations + (1914)
- Russell, B. (1918): The Philosophy of Logical Atomism + (1918, 1919)
- Kuratowski, K. (1921): Sur la notion de l‘ordere dans la Théorie des Ensembles + (1921)
- Hilbert, D. (1922): Die logischen Grundlagen der Mathematik + (1922)
- Von Neumann, J. (1923): Zur Einführung der transfiniten Zahlen + (1923)
- Tropfke, J. (1924): Geschichte der Elementarmathematik, Band 6, Analysis, analytische Geometrie + (1924)
- Von Neumann, J. (1925): Eine Axiomatisierung der Mengenlehre + (1925)
- Smith, D. E.; Latham, M. L. (1925): The geometry of René Descartes + (1925)
- Jenkinson, A.J.J. (1928): Trans. of Prior Analytics + (1928)
- Von Neumann, J. (1928): Über die Definition durch transfinite Induktion und verwandte Fragen der allgemeinen Mengenlehre + (1928)
- Von Neumann, J. (1929): Über eine Widerspruchfreiheitsfrage in der axiomatischen Mengenlehre + (1929)
- Landau, E. (1930): Grundlagen der Analysis + (1930)
- Gödel, K. (1931): Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I + (1931)
- Zermelo, E. (1932): Georg Cantor: Gesammelte Abhandlungen mathematischen und philosophischen Inhalts + (1932)
- Kleene, S. C.; Rosser, J. B. (1935): The inconsistency of certain formal logics + (1935)
- Tarski, A. (1935): Der Wahrheitsbegriff in den formalisierten Sprachen + (1935)
- Rosser, B. (1936): Extensions of Some Theorems of Gödel and Church + (1936)
- Quine, W. V. (1937): New Foundations for Mathematical Logic + (1937)
- Gödel, K. (1938): The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis + (1938)
- Kleene, S. C. (1938): On Notation for Ordinal Numbers + (1938)
- Morris, C. W. (1938): Foundations of the Theory of Signs + (1938)
- Bourbaki, N. (1939): Théorie des Ensembles + (1939)
- Gödel, K. (1940): The Consistency Continuum Hypothesis + (1940)
- Quine, W. V. (1940): Mathematical Logic + (1940)
- Goodman, N. (1941): Sequences + (1941)
- Church, A. (1941): The Calculi of Lambda-Conversion + (1941)
- Quine, W. V. (1945): On Ordered Pairs + (1945)
- Dipert, R. R. (1982): Set-Theoretical Representationsof Ordered Pairs and TheirAdequacy for the Logicof Relations + (1945)
- Quine, W. V. (1946): On Relations as Coextensive with Classes + (1946)
- Rosser, J. B. (1953): Logic for Mathematicians + (1953)
- Quine, W. V. (1954): Logic, Symbolic + (1957)
- Lorenzen, P. (1958): Formale Logik + (1958)
- McCarthy, J. (1960): Recursive Functions of Symbolic Expressions and Their Computation by Machine + (1960)
- Quine, W. V. (1963): Set Theory and its Logic + (1963)
- McCarthy, J. et. al. (1965): LISP 1.5 Programmer's Manual + (1965)
- Morse, A.P. (1965): A Theory of Sets + (1965)
- Schmidt, J. (1966): Mengenlehre + (1966)
- Shoenfield, J.R. (1967): Mathematical Logic + (1967)
- Bolzano, B. (1969 ff): Gesamtausgabe + (1969)
- Quine, W. V. (1969): Set Theory and its Logic + (1969)
- Codd, E. F. (1970): A Relational Model of Data for Large Shared Data Banks + (1970)
- Bayer, R.; McCreight, E. (1972): Organization and Maintenance of Large Ordered Indexes + (1972)
- Menne, A. (1973): Einführung in die Logik + (1973)
- Oberschelp, A. (1973): Set Theory over Classes + (1973)
- Stachowiak, H. (1973): Allgemeine Modelltheorie + (1973)
- Bolzano, B. (1975): Größenlehre und erste Begriffe der allgemeinen Größenlehre + (1975)
- Meyberg, K. (1976): Algebra – Teil 2 + (1976)
- Kuchling, H. (1976): Physik + (1976)
- Hermes, H. (1976): Einführung in die mathematische Logik + (1976)
- Unguru, S. (1976): A Very Early Acquaintance with Apollonius of Perga's Treatise on Conic Sections in the Latin West + (1976)
- Schlageter, G.; Stucky, W. (1977): Datenbanksysteme: Konzepte und Modell + (1977)
- Salomaa, A.K. (1978): Formale Sprachen + (1978)
- Felscher, W. (1978): Naive Mengen und abstrakte Zahlen I + (1978)
- Gellert, W.; Kästner, H.; Neuber, S. (1979): Lexikon der Mathematik + (1979)
- Bronstein, I. N.; Semendjajew, K.A. (1979): Taschenbuch der Mathematik + (1979)
- Reenskaug, T. (1979): Thing-Model-View-Editor + (1979)
- Reenskaug, T. (1979a): Models-Views-Controllers + (1979)
- Meyberg, K. (1980): Algebra – Teil 1 + (1980)
- Asser, G. (1980): Grundbegriffe der Mathematik + (1980)
- Gabriel, G. (1980): Gottlob Freges Briefwechsel mit D. Hilbert, E. Husserl, B. Russell sowie ausgewählte Einzelbriefe Freges + (1980)
- Fischer, G. (1981): Lineare Algebra + (1981)
- Quine, W. V. (1981): Mathematical Logic, Revised Edition + (1981)
- Bayer, R. (1982): Datenstrukturen – Kurseinheit 6: Datenstrukturen für Peripheriespeicher + (1982)
- Menne et. al. (1983): Logisches Philosophieren: Festschrift für Albert Menne zum 60. Geburtstag + (1983)
- Glubrecht, J.-M.; Oberschelp, A.; Todt, G. (1983): Klassenlogik + (1983)
- Heigl, F.; Feuerpfeil, J. (1983): Stochastik + (1983)
- Schwichtenberg, H. (1985): Mengenlehre + (1985)
- Hofstadter, D.R.; Dennett, D.C. (1985): The Mind's I + (1985)
- Brockhaus-Enzyklopädie (1986): Band 1 (A-APT) + (1986)
- Quine, W. V. (1986): Philosophy of Logic + (1986)
- Givant, S. R.; McKenzie, R. N. (1986): Alfred Tarski, Vol. 2 + (1986)
- Hofstadter, D.R. (1987): Gödel, Escher, Bach + (1987)
- Brockhaus-Enzyklopädie (1987): Band 2 (APU-BEC) + (1987)
- Brockhaus-Enzyklopädie (1987): Band 3 (BED-BRN) + (1987)
- Brockhaus-Enzyklopädie (1987): Band 4 (BRO-COS) + (1987)
- Guillen, M. (1987): Brücken ins Unendliche + (1987)
- Purkert, W.; Ilgauds, H.-J. (1987): Georg Cantor 1845 – 1918 + (1987)
- Brockhaus-Enzyklopädie (1988): Band 6 (DS-EW) + (1988)
- Hofstadter, D.R. (1988): Metamagikum + (1988)
- Brockhaus-Enzyklopädie (1988): Band 7 (EX-FRT) + (1988)
- Brockhaus-Enzyklopädie (1988): Band 5 (COT-DR) + (1988)
- Güntzer, U. (1988): Mathematische Logik + (1988)
- Ullman, J. (1988): Principles of Database and Knowledge-Base Systems, Vol. I + (1988)
- Güntzer, U.; Schmidt, G.; Kempf, M.; Möller, B. (1989): Mathematische Logik + (1989)
- Lieberherr, K.J.; Holland, I.M. (1989): Assuring Good Style for Object-Oriented Programs + (1989)
- Brockhaus-Enzyklopädie (1989): Band 8 (FRU-GOS) + (1989)
- Brockhaus-Enzyklopädie (1989): Band 9 (GOT-HERP) + (1989)
- Kutschera, F. (1989): Gottlob Frege + (1989)