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
- 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)
- 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)
- Bernays, P. (1968): Axiomatic Set Theory + (1968)
- 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)