Kategorie:Formular:Quelle:Artikel
aus GlossarWiki, der Glossar-Datenbank der Fachhochschule Augsburg
Default-Formular: Quelle:Artikel
Seiten in der Kategorie „Formular:Quelle:Artikel“
Folgende 62 Seiten sind in dieser Kategorie, von 62 insgesamt.
B
C
- C. Burali-Forti, C. (1897): Una questione sui numeri transfiniti
- Cantor, G. (1874): Ueber eine Eigenschaft des Inbegriffs aller reellen algebraischen Zahlen
- Cantor, G. (1879): Ueber unendliche, lineare Punktmannichfaltigkeiten, 1.
- Cantor, G. (1880): Ueber unendliche, lineare Punktmannichfaltigkeiten, 2.
- Cantor, G. (1882): Ueber unendliche, lineare Punktmannichfaltigkeiten, 3.
- Cantor, G. (1883): Ueber unendliche, lineare Punktmannichfaltigkeiten, 4.
- Cantor, G. (1883): Ueber unendliche, lineare Punktmannichfaltigkeiten, 5.
- Cantor, G. (1884): Ueber unendliche, lineare Punktmannichfaltigkeiten, 6.
- Cantor, G. (1895): Beiträge zur Begründung der transfiniten Mengenlehre
- Cantor, G. (1897): Beiträge zur Begründung der transfiniten Mengenlehre (Zweiter Artikel.)
- Codd, E. F. (1969): Derivability, Redundancy and Consistency of Relations Stored in Large Sata Banks
- Codd, E. F. (1970): A Relational Model of Data for Large Shared Data Banks
D
F
G
- Goodman, N. (1941): Sequences
- Guha, R.; McCoo, R.; Miller, E. (2003): Using the Semantic Web: Semantic Search
- Gödel, K. (1931): Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
- Gödel, K. (1938): The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis
K
- Kanamori, A. (2003): The Empty Set, the Singleton, and the Ordered Pair
- Kleene, S. C. (1938): On Notation for Ordinal Numbers
- Kleene, S. C.; Rosser, J. B. (1935): The inconsistency of certain formal logics
- Kuratowski, K. (1921): Sur la notion de l‘ordere dans la Théorie des Ensembles
- Künne, W. (2010): Eadem sunt, quae sibi mutuo substitui possunt, salva veritate
M
O
Q
R
- Reitze, R. (1990): Logik als Existenzform: Albert Menne starb am 7. März
- Rocha, C.; Schwabe, D; Poggi, M. (2004): A hybrid approach for searching in the semantic web
- Rosser, B. (1936): Extensions of Some Theorems of Gödel and Church
- Russell, B. (1908): Mathematical Logic as Based on the Theory of Types
- Russell, B. (1918): The Philosophy of Logical Atomism
- Rutledge, L.; van Ossenbruggen, J; Hardman, L. (2005): Making RDF presentable
- Rütten, C.; Glemser, T. (2006): Gesundes Misstrauen
S
V
- Von Neumann, J. (1923): Zur Einführung der transfiniten Zahlen
- Von Neumann, J. (1925): Eine Axiomatisierung der Mengenlehre
- Von Neumann, J. (1928): Über die Definition durch transfinite Induktion und verwandte Fragen der allgemeinen Mengenlehre
- Von Neumann, J. (1929): Über eine Widerspruchfreiheitsfrage in der axiomatischen Mengenlehre