Home  - Scientists - Kreisel Georg

Books Baby Camera Phones Computers Games DVD Electronics Kitchen Magazines Music Garden Software Tools Toys Video Apparel & Accessories Jewelry & Watches Musical Instruments Health & Personal Care Beauty Sports & Outdoors Office Products

e99.com Bookstore

Images

Newsgroups

81-92 of 92    Back | 1  | 2  | 3  | 4  | 5

A  B  C  D  E  F  G  H  I  J  K  L  M  N  O  P  Q  R  S  T  U  V  W  X  Y  Z

Kreisel Georg:     more detail

Austrian Scientist Introduction: Herman Francis Mark, Richard Kuhn, Edwin Ernest Salpeter, Fritz Pregl, Felix Philipp Kanitz, Georg Kreisel Elements of mathematical logic: (Model theory) (Studies in logic and the foundations of mathematics) by Georg Kreisel, 1967 Modelltheorie: Eine Einführung in die mathematische Logik und Grundlagentheorie (Hochschultext) (German Edition) by Georg Kreisel, Jean-Louis Krivine, 1972-06-14 Kreiseliana: About and Around Georg Kreisel Formally self-referential propositions for cut free classical analysis and related systems (Dissertationes mathematicae = Rozprawy matematyczne) by Georg Kreisel, 1974 Five notes on transfinite progressions (Technical report) by Georg Kreisel, 1962 Formal Systems for Some Branches of Intuitionistic Analysis (Annals of Mathematical Logic) by Georg Kreisel, Anne Sjerp Troelstra, 1970 Descendants of Johann Georg Leonhardt Kreissel and Katherine Fredrike Fischer by Lee Riley Powell, 1997 Zur Theorie Des Maxwell'schen Kreisels (INAUGURAL-DISSERTATION ZUR ERLANGUNG DER DOKTORWURDE DER HOHEN PHILOSOPHISCHEN FAKULTAT DER GEORG-AUGUST-UNIVERSITAT ZU GOTTINGEN; --- GERMAN LANGUAGE, GERMANY) by MAX WINKELMANN, 1904

lists with details

81. Reports On Mathematical Logic
    20, 1986, 714. kreisel, georg 1. Monadic Operators Defined by Means ofPropositional Quantification in Intuitionistic Logic. 12, 1981, 9-15.  
    http://www3.uj.edu.pl/Phils/rml/auth-ind.htm

82. Abteilung Kultur- Und Sozialgeographie Am Geographisches Institut Der Georg-Augu
    Translate this page Head of Division. Prof. Dr. Werner kreisel, phone ++49 (0)551 39-80.21. Scientificstaff. Dr. Frank Dickmann, Akademischer Rat, phone ++49 (0)551-39-80.74.  
    http://www.geogr.uni-goettingen.de/kus/english/staff.htm

83. Aktuelle Liste Kurzinfo Und Signaturen Zurück Weiter
    Translate this page 1998) Wettbewerbspolitische Instrumente der Welthandelsorganisation / (Von) GeorgKoopmann. R 74.32a-64- gesamtes Dokument zeigen kreisel, Fritjof (1980  
    http://www.baw.uni-bremen.de/biblio-proj/DESKRIPT/K1-00010.HTM

84. Sportkreisel GmbH - Das Bewegungs- Und Gesundheitszentrum
    Translate this page Mo. 1545, Tänz. Früherziehung (4-5J), St.georg, 13.01.2003, Kurs, Franziska.Mo. 1630, Ki.ballett/Tanzimpro (6-7J), St.georg, 13.01.2003, Kurs, Franziska.Mo.  
    http://www.sportkreisel.de/uebergang.html

85. Bund
    georg Schmid von der  
    http://www.spd-bad-steben.de/texte.htm

86. Kreisel Uwe, Tabbert Pamela Ann American Slang In Letzter Minute. Ein Sprachfüh
    Translate this page kreisel Uwe, Tabbert Pamela Ann American Slang in letzter Minute. Ein Sprachführerfür Kurzentschlossene. Autor kreisel Uwe Tabbert Pamela Ann.  
    http://www.lesen-und-lernen.de/Kreisel-Uwe-Tabbert-Pamela-Ann-American-Slang-in-

87. Getränke-Shop Willisau
    http://www.kellerei-st-georg.ch/d/shop/p_willisau.htm

88. TSV Herbertshofen E.V.
    Chronik 1960 Gründung des Vereins 1961 Der TSV bekommt seine Sportanlage 1962 Fertigstellung der Sportanlage und Aufstieg in die BKlasse 1963 Der TSV hat bereits 228 Mitglieder 1964 Fertigstellung der Turnhalle 1965 Neuer Vorstand Rudolf  
    http://www.tsv-herbertshofen.de/Geschichte.htm
    
    Extractions: Chronik 1961 Der TSV bekommt seine Sportanlage 1962 Fertigstellung der Sportanlage und Aufstieg in die B-Klasse 1963 Der TSV hat bereits 228 Mitglieder 1964 Fertigstellung der Turnhalle ... 2002 der TSV ist zum ersten Mal in der Endrunde der Hallenlandkreismeisterschaft Dem Sportverein wird nun eine Wiese südlich des Schulgebäudes überlassen. Bürgermeister Deisenhofer betonte, das die neue Sportanlage der gesamten Jugend einschließlich der Schule zur Verfügung stehen soll. Der Sportbetrieb kann ohne Unterbrechung durchgeführt werden. Mit dem Bau der neuen Sportanlage wird begonnen. Die erste Jahreshauptversammlung findet im Römerhof statt. Der Verein hat derzeit 214 Mitglieder. Dank der Unterstützung aller Mitglieder, der Vorstandschaft und der Gemeindeverwaltung hat der Verein die ersten Gehversuche überstanden. Die Jugendmannschaft wird auf Anhieb Jugendmeister mit nur einer Niederlage und einem Torverhältnis von 47:9 Toren. Die 1. Mannschaft wechselt in die C-Klasse Augsburg-Südost. In der Jahreshauptversammlung stellt sich 1. Vorstand Viktor Spitko aus beruflichen Gründen nicht mehr zur Wiederwahl. Die Nachfolge tritt Georg Gneupel an. Der Verein hat 228 Mitglieder. Die Reservemannschaft wird Meister mit 42:6 Punkten und 97:47 Toren. Die 1. Mannschaft belegte den fünften Tabellenplatz. Die Schüler unter Eduard Botzi werden Meister mit 27:1 Punkten und 86:7 Toren.

89. Untitled
    This is a register of the materials comprising the Karl Popper archive held at the Hoover Institution, Stanford University. The register is copyright (c) by the Hoover Institution.  
    http://www.eeng.dcu.ie/~tkpw/hoover/hoover.txt

90. Untitled
    pages = {4752}, publisher = {NorthHolland}, address = {Amsterdam}, note = {Proc. of the Summer Conf.  
    http://www.informatik.fernuni-hagen.de/cca/publications/bibliography.bib

91. LBS Der UB Tübingen - Mathematik - Mathematische Logik, Grundlagen Der Mathemat
    http://opac.ub.uni-tuebingen.de/lbs/math/mathE.html

92. Sind Zahlen Attribute?
    Modelltheorie. Eine Einführung in die mathematische Logik und  
    http://h2hobel.phl.univie.ac.at/~yellow/Stachowiak/attribut.html
    
    Extractions: von Gerhard GELBMANN Vom Berliner Philosophen Herbert Stachowiak stammt aus dem Jahre 1973 eine Auffassung des Modellbegriffes, die sich von der formal-semantischen i unterscheidet und "pragmatologische" genannt sei (diese lehnt die statement-view jener ab). Dieses Konzept sei als Attributionierung skizziert: ii Gegeben seien das Original (der zu modellierende Gegenstand) O und (s)ein Modell Klassen von Attributen iii von welchen Unterklassen O P O und M E P und M E einander eineindeutig ) anderer Attribute iv von O auf bestimmte Attribute von M ab, wobei einige (sog. " abundante ") Attribute von M keine Funktionswerte von F sind. v Die Umsetzung einer solchen Attributionierung erfolgt innerhalb einer Theorie Th v i vii Soweit das Konzept. Was aber bezeichnet der Terminus viii Dabei ist mehrerlei zu beachten:

A  B  C  D  E  F  G  H  I  J  K  L  M  N  O  P  Q  R  S  T  U  V  W  X  Y  Z

81-92 of 92    Back | 1  | 2  | 3  | 4  | 5