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
- 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)
- Rosser, J. B. (1953): Logic for Mathematicians + (1953)
- Quine, W. V. (1954): Logic, Symbolic + (1957)
- Lorenzen, P. (1958): Formale Logik + (1958)
- 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)
- 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)
- Schlageter, G.; Stucky, W. (1977): Datenbanksysteme: Konzepte und Modell + (1977)
- Felscher, W. (1978): Naive Mengen und abstrakte Zahlen I + (1978)
- Salomaa, A.K. (1978): Formale Sprachen + (1978)
- Gellert, W.; Kästner, H.; Neuber, S. (1979): Lexikon der Mathematik + (1979)
- Bronstein, I. N.; Semendjajew, K.A. (1979): Taschenbuch der Mathematik + (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)
- 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)
- Brockhaus-Enzyklopädie (1986): Band 1 (A-APT) + (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)