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
- 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)