Direkt zur Hauptnavigation springen Direkt zum Inhalt springen
Filtern nach
Aktive Filter
Letzte Suchanfragen

Ergebnisse für *

Es wurden 150 Ergebnisse gefunden.

Zeige Ergebnisse 26 bis 50 von 150.

Sortieren

  1. The logical basis for computer programming
    Autor*in: Manna, Zohar
    Verlag:  Addison-Wesley, Reading, Mass. [u.a.]

    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Waldinger, Richard (Verfasser)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    RVK Klassifikation: ST 125 ; ES 920
    Schlagworte: Computers; Logica E Semantica De Programacao; Logica Matematica; Logica; Logique symbolique et mathématique; Programacao De Computadores; Programmation (Informatique); Programmeren (computers); Logik; Computer programming; Logic, Symbolic and mathematical; Programmierung; Mathematische Logik; Logik
    Bemerkung(en):

    Einbänd. Ausg. (1993) u.d.T.: Manna, Zohar: The deductive foundataions of computer programming
  2. Logics for Linguistic Structures
    Autor*in:
    Erschienen: 2008
    Verlag:  Mouton de Gruyter, Berlin, New York

    Zugang:

    Standort:
    Hessisches BibliotheksInformationsSystem HeBIS
    Fernleihe:
    keine Fernleihe
    Standort:
    Hessisches BibliotheksInformationsSystem HeBIS
    Fernleihe:
    keine Fernleihe
    Standort:
    Hessisches BibliotheksInformationsSystem HeBIS
    Fernleihe:
    keine Fernleihe
    Standort:
    Hessisches BibliotheksInformationsSystem HeBIS
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Beteiligt: Hamm, Fritz; Kepser, Stephan
    Sprache: Unbestimmt
    Medientyp: Ebook
    Format: Online
    ISBN: 9783110204698
    Weitere Identifier:
    RVK Klassifikation: ER 620 ; ES 900
    DDC Klassifikation: Mathematik (510); Sprache (400)
    Schriftenreihe: Trends in Linguistics. Studies and Monographs
    Schlagworte: Linguistik; Mathematische Logik; Computerlinguistik
    Umfang: Online-Ressource
    Bemerkung(en):

    Description based upon print version of record
  3. Logic, language and computation
    Autor*in:
    Verlag:  Center for the Study of Language and Information, Stanford, Calif.

    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Seligman, Jerry (Sonstige); Moss, Lawrence S. (Sonstige); Cavedon, Lawrence (Sonstige)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    RVK Klassifikation: ES 900
    Schriftenreihe: Center for the Study of Language and Information <Stanford, Calif.>: CSLI lecture notes ; ...
    CSLI publications
    Schlagworte: Computerlinguistik; Sprache; Logik; Mathematische Logik
  4. A human oriented logic for automatic theorem proving
    Autor*in: Nevins, Arthur J.
    Erschienen: 1972
    Verlag:  Artificial Intelligence Lab., Cambridge, Mass.

    Standort:
    Universitätsbibliothek Erlangen-Nürnberg, Technisch-naturwissenschaftliche Zweigbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Unbestimmt
    Medientyp: Buch (Monographie)
    RVK Klassifikation: ES 915
    Schriftenreihe: Artificial intelligence. Memo. ; 268
    Schlagworte: Mathematische Logik
    Umfang: 52 S.
  5. Fuzzy-Logik und Blackboard-Modelle in der technischen Anwendung
    Autor*in: Fathi-Torbaghan, Madjid
    Erschienen: 1994
    Verlag:  Oldenbourg, München [u.a.]

    Standort:
    Universitätsbibliothek Bamberg
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Bayerische Staatsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Deutsches Museum, Bibliothek
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Technische Universität München, Universitätsbibliothek, Teilbibliotheken Garching
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Technische Hochschule Nürnberg Georg Simon Ohm, Bibliothek
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Universitätsbibliothek Passau
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Universitätsbibliothek Regensburg
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Hochschule für angewandte Wissenschaften Würzburg-Schweinfurt, Abteilungsbibliothek Schweinfurt
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Beteiligt: Höffmann, Achim (Verfasser)
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    ISBN: 3486226509
    RVK Klassifikation: ST 285 ; ST 301 ; ST 302 ; ST 300 ; ES 923
    Schlagworte: Künstliche Intelligenz; Mathematische Logik; Blackboard <Expertensystem>; Fuzzy-Regelung; Fuzzy-Menge
    Umfang: 255 S., graph. Darst.
  6. Logical foundations of artificial intelligence
    Autor*in: Genesereth, Michael R.
    Erschienen: 1987
    Verlag:  Kaufmann, Los Altos, Calif.

    Standort:
    Universitätsbibliothek Bayreuth
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Universitätsbibliothek Eichstätt-Ingolstadt
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Nilsson, Nils J. (Verfasser)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 0934613311
    RVK Klassifikation: ST 285 ; ES 900 ; ST 300
    Auflage/Ausgabe: 1. print.
    Schlagworte: Intelligence artificielle; Kunstmatige intelligentie; Wiskundige logica; Künstliche Intelligenz; Artificial intelligence; Mathematische Logik; Künstliche Intelligenz; Logik
    Umfang: XVIII, 405 S.
    Bemerkung(en):

    Literaturverz. S. 363 - 400
  7. Logic for computer science
    foundations of automat. theorem proving
    Autor*in: Gallier, Jean H.
    Erschienen: 1987
    Verlag:  Harper & Row, Cambridge u.a.

    Standort:
    Universitätsbibliothek Würzburg
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 0060422254
    RVK Klassifikation: ST 130 ; ES 900 ; SK 130
    Auflage/Ausgabe: 2. pr.
    Schriftenreihe: Harper and Row computer science and technology series ; 5.
    Schlagworte: Mathematische Logik; Automatisches Beweisverfahren
    Umfang: XV, 511 S., Ill.
  8. Grammatik und Logik
    Jahrbuch 1979
    Autor*in:
    Erschienen: 1980
    Verlag:  Schwann, Düsseldorf

    Standort:
    Universitätsbibliothek Augsburg
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Universitätsbibliothek Bamberg
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Universitätsbibliothek Bayreuth
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Universitätsbibliothek Eichstätt-Ingolstadt
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Universitätsbibliothek Erlangen-Nürnberg, Hauptbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Universitätsbibliothek der LMU München
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Universitätsbibliothek Erlangen-Nürnberg, Erziehungswissenschaftliche Zweigbibliothek Nürnberg
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Universitätsbibliothek Passau
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Universitätsbibliothek Regensburg
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Beteiligt: Ballweg, Joachim (Sonstige)
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    ISBN: 3590156503
    RVK Klassifikation: GC 1015 ; GC 6009
    Schriftenreihe: Sprache der Gegenwart ; 50
    Jahrbuch / Institut für Deutsche Sprache ; 1979
    Schlagworte: Formale Sprache; Logik; Formale Semantik; Deutsch; Mathematische Logik; Sprache; Grammatik; Linguistik
    Umfang: 384 S.
  9. Logical aspects of computational linguistics
    second international conference, LACL '97, Nancy, France, September 22 - 24, 1997 ; selected papers
    Autor*in:
    Erschienen: 1999
    Verlag:  Springer, Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong u.a.

    Standort:
    Universitätsbibliothek Augsburg
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Technische Universität München, Universitätsbibliothek, Teilbibliotheken Garching
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Universität der Bundeswehr München, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Universitätsbibliothek Passau
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
  10. The logical basis for computer programming
    Autor*in: Manna, Zohar
    Verlag:  Addison-Wesley, Reading, Mass. u.a.

    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Waldinger, Richard (Verfasser)
    Sprache: Unbestimmt
    Medientyp: Buch (Monographie)
    ISBN: 0201182602; 0201182610
    RVK Klassifikation: ES 920 ; ST 120
    Schriftenreihe: Addison-Wesley series in computer science
    Schlagworte: Programmierung; Mathematische Logik
  11. Language, logic, and computation
    12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017 ; revised selected papers
    Autor*in:
    Erschienen: [2019]; © 2019
    Verlag:  Springer, Berlin

    Standort:
    Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
    Signatur:
    RN 2835(11456)
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Badische Landesbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Leibniz-Institut für Deutsche Sprache (IDS), Bibliothek
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Universität des Saarlandes, Campusbibliothek für Informatik und Mathematik, Fachrichtung 6.2 Informatik
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Bibliothek
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Leibniz-Institut für Deutsche Sprache, Bibliothek
    Beteiligt: Silva, Alexandra (HerausgeberIn); Staton, Sam (HerausgeberIn); Sutton, Peter (HerausgeberIn); Umbach, Carla (HerausgeberIn)
    Sprache: Englisch
    Medientyp: Konferenzschrift
    Format: Druck
    ISBN: 9783662595640; 3662595648
    Weitere Identifier:
    9783662595640
    Körperschaften/Kongresse: TbiLLC, 12. (2017, Lagodechi)
    Schriftenreihe: Array ; 11456
    FoLLI publications on logic, language and information
    Schlagworte: Berechnungstheorie; Logik; Natürliche Sprache; Formale Semantik; ; Mathematische Logik; Berechnungstheorie; Natürliche Sprache; Formale Semantik;
    Umfang: xiv, 352 Seiten, Illustrationen, 23.5 cm x 15.5 cm
    Bemerkung(en):

    "The symposium was organized by the Centre for Language, Logic, and Speech at the Tbilisi State University ..." - Vorwort
  12. Leibniz and the structure of sciences
    modern perspectives on the history of logic, mathematics, epistemology
    Autor*in:
    Erschienen: [2019]; © 2019
    Verlag:  Springer, Cham, Switzerland

    Standort:
    Berlin-Brandenburgische Akademie der Wissenschaften, Akademiebibliothek
    Signatur:
    D 583
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Max-Planck-Institut für Wissenschaftsgeschichte, Bibliothek
    Signatur:
    501 L5253
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Niedersächsische Staats- und Universitätsbibliothek Göttingen
    Signatur:
    2020 A 3178
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Deutsche Akademie der Naturforscher Leopoldina, Bibliothek
    Signatur:
    Bc 1 / 2170. 8°
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Gottfried Wilhelm Leibniz Bibliothek - Niedersächsische Landesbibliothek
    Signatur:
    2020/7238
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
    Signatur:
    RA 1438(337)
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Thüringer Universitäts- und Landesbibliothek
    Signatur:
    PHI:HK:900:L525:411:2019
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Badische Landesbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Universitätsbibliothek Leipzig
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Herzog August Bibliothek Wolfenbüttel
    Signatur:
    70.1833
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Herzog August Bibliothek Wolfenbüttel
    Beteiligt: De Risi, Vincenzo (HerausgeberIn)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 9783030255718; 3030255719
    Weitere Identifier:
    RVK Klassifikation: CF 5517
    Schriftenreihe: Boston studies in the philosophy and history of science ; volume 337
    Schlagworte: Leibniz, Gottfried Wilhelm; Mathematik; Mathematische Logik; Wissenschaftsphilosophie; Geschichte;
    Umfang: xi, 298 Seiten, Illustrationen, 25 cm
    Bemerkung(en):

    Literaturangaben
  13. Zur Logik empirischer Theorien
    Autor*in:
    Erschienen: 1983
    Verlag:  de Gruyter, Berlin [u.a.]

    Standort:
    Sächsische Landesbibliothek - Staats- und Universitätsbibliothek Dresden
    Signatur:
    1999 8 022242
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Max-Planck-Institut zur Erforschung von Kriminalität, Sicherheit und Recht, Bibliothek
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Fachbereichsbibliothek Philosophie und Erziehungswissenschaft, Abteilung Philosophie
    Signatur:
    Frei 32: BF 101/20
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Universitätsbibliothek Heidelberg
    Signatur:
    83 A 3689
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    Universität Heidelberg, Philosophisches Seminar, Bibliothek
    Signatur:
    117 Bal
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Standort:
    Universität Heidelberg, Psychologisches Institut, Bibliothek
    Signatur:
    B 0 529 Bal
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    Campusbibliothek Bergheim der Universität
    Signatur:
    WS/CC 3500 B198
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Badische Landesbibliothek
    Signatur:
    83 A 6378
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Karlsruher Institut für Technologie, KIT-Bibliothek
    Signatur:
    2004 A 13496
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Universitätsbibliothek Leipzig
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Leibniz-Institut für Deutsche Sprache (IDS), Bibliothek
    Signatur:
    MA 690
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Universitätsbibliothek Mannheim
    Signatur:
    500 CC 3100 B198
    Fernleihe:
    keine Fernleihe
    Standort:
    Universitätsbibliothek Mannheim
    Signatur:
    AK 2439
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Universität des Saarlandes, Deutsch-Europäisches Juridicum
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Standort:
    Universität des Saarlandes, Fachrichtung Philosophie, Bibliothek
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Württembergische Landesbibliothek
    Signatur:
    33/4448
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Universität Tübingen, Philosophisches Seminar, Bibliothek
    Signatur:
    D 3/1983,1
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Leibniz-Institut für Deutsche Sprache, Bibliothek
    Beteiligt: Balzer, Wolfgang (Hrsg.)
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 3110097117; 3110082365
    RVK Klassifikation: CC 3500 ; CC 3200 ; CC 3100
    Schriftenreihe: Array
    Schlagworte: Empirische Theorie; ; Wissenschaftstheorie; Logik; ; Empirische Theorie; ; Naturwissenschaften; Theorie; Formalisierung; ; Empirische Theorie; Formalisierung; ; Naturwissenschaften; Theorie; Formalisierung; ; Empirische Theorie; Wissenschaftstheorie; ; Mathematische Logik;
    Umfang: VI, 331 S., graph. Darst.
    Bemerkung(en):

    Aus d. Ms. übers
  14. Recursion-theoretic hierarchies
    Autor*in: Hinman, Peter G.
    Erschienen: 1978
    Verlag:  Springer, Berlin [u.a.]

    Standort:
    Mathematisches Institut, Bibliothek / Abteilung für Reine Mathematik
    Signatur:
    Frei 3a: V/Hinman
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Standort:
    Mathematisches Institut, Bibliothek / Abteilung für Mathematische Logik
    Signatur:
    Frei 3d: V/Hinman
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Heidelberger Akademie der Wissenschaften, Bibliothek
    Signatur:
    nat.I.3
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Universität Heidelberg, Bereichsbibliothek Mathematik und Informatik
    Signatur:
    Hinma
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Standort:
    Universität Heidelberg, Philosophisches Seminar, Bibliothek
    Signatur:
    120 Hinm
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Badische Landesbibliothek
    Signatur:
    78 A 10669
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Karlsruher Institut für Technologie, KIT-Bibliothek
    Signatur:
    78 A 1526
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    KIT-Bibliothek, Fachbibliothek Mathematik
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Universitätsbibliothek Leipzig
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Leibniz-Institut für Deutsche Sprache (IDS), Bibliothek
    Signatur:
    MA 388
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Universitätsbibliothek Mannheim
    Signatur:
    AF 3139
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    Universitätsbibliothek Mannheim
    Signatur:
    400 SK 130 H663
    Fernleihe:
    keine Fernleihe
    Standort:
    Universitätsbibliothek Mannheim
    Signatur:
    AF 3139
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Mathematisches Forschungsinstitut Oberwolfach gGmbH, Bibliothek
    Signatur:
    M/Hinman, P
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Universität des Saarlandes, Campusbibliothek für Informatik und Mathematik, Fachrichtung 6.2 Informatik
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Württembergische Landesbibliothek
    Signatur:
    28a/1845
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Universitätsbibliothek der Eberhard Karls Universität
    Signatur:
    18 A 10342
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    Brechtbau-Bibliothek
    Signatur:
    GD 220.027
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    Fachbibliothek Mathematik und Physik / Bereich Mathematik - Universität Tübingen
    Signatur:
    Hinm
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Standort:
    Universität Tübingen, Philosophisches Seminar, Bibliothek
    Signatur:
    D 4/1978,12
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Leibniz-Institut für Deutsche Sprache, Bibliothek
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 3540079041; 0387079041
    RVK Klassifikation: SK 130
    Schriftenreihe: Perspectives in mathematical logic
    Schlagworte: Rekursionstheorie; ; Mathematische Logik; ; Rekursivität;
    Umfang: XII, 480 S., graph. Darst.
  15. Logisches Philosophieren
    Festschrift für Albert Menne zum 60. Geburtstag
    Autor*in:
    Erschienen: 1988
    Verlag:  Olms, Hildesheim [u.a.]

    Standort:
    Technische Universität Chemnitz, Universitätsbibliothek
    Signatur:
    CB 4200 log
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Sächsische Landesbibliothek - Staats- und Universitätsbibliothek Dresden
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Universität Heidelberg, Philosophisches Seminar, Bibliothek
    Signatur:
    925 Men
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Standort:
    Bibliothek der Juristischen Fakultät
    Signatur:
    JU/PI 2770 M547
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Badische Landesbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Universität Konstanz, Kommunikations-, Informations-, Medienzentrum (KIM)
    Signatur:
    pha 4/m26(2)
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Leibniz-Institut für Deutsche Sprache (IDS), Bibliothek
    Signatur:
    E 240/2.Aufl.
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Universität Tübingen, Philosophisches Seminar, Bibliothek
    Signatur:
    D 4/1988,7
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Leibniz-Institut für Deutsche Sprache, Bibliothek
    Beteiligt: Walther-Klaus, Ellen (Hrsg.); Menne, Albert (GefeierteR)
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 3487074214
    RVK Klassifikation: CB 4200 ; CC 2400 ; BF 1675 ; PI 2770
    Auflage/Ausgabe: 2., um eine Bibliogr. erw. Aufl.
    Schlagworte: Menne, Albert; ; Logik; ; Mathematische Logik; ; Philosophie;
    Umfang: XI, 208 S., 1 Ill.
  16. Dictionary of symbols of mathematical logic
    Autor*in:
    Erschienen: 1973
    Verlag:  North-Holland, Amsterdam

    Standort:
    Universität Heidelberg, Bereichsbibliothek Mathematik und Informatik
    Signatur:
    Feys
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Universität Konstanz, Kommunikations-, Informations-, Medienzentrum (KIM)
    Signatur:
    phc 240/t69
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Leibniz-Institut für Deutsche Sprache (IDS), Bibliothek
    Signatur:
    MA 1489
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Saarländische Universitäts- und Landesbibliothek
    Signatur:
    75-3127
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Universitätsbibliothek Stuttgart
    Signatur:
    2H 6049(N73)
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Leibniz-Institut für Deutsche Sprache, Bibliothek
    Beteiligt: Feys, Robert (Hrsg.); Fitch, Frederic B. (Hrsg.)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 0720422507
    RVK Klassifikation: SK 130 ; QH 100
    Auflage/Ausgabe: 2. corr. print.
    Schriftenreihe: Studies in logic and the foundations of mathematics
    Schlagworte: Mathematische Logik;
    Umfang: XIV, 171 S.
  17. Schriften zur Logik
    aus dem Nachlaß
    Autor*in: Frege, Gottlob
    Erschienen: 1973
    Verlag:  Akad.-Verl., Berlin

    Standort:
    Berlin-Brandenburgische Akademie der Wissenschaften, Akademiebibliothek
    Signatur:
    P 155
    Fernleihe:
    keine Fernleihe
    Standort:
    Berlin-Brandenburgische Akademie der Wissenschaften, Akademiebibliothek
    Signatur:
    1973 B 471
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Staats- und Universitätsbibliothek Bremen
    Signatur:
    a phi 434.1/560
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Universitätsbibliothek Erfurt / Forschungsbibliothek Gotha, Universitätsbibliothek Erfurt
    Signatur:
    Bibliothek der ehem. Kirchlichen Hochschule Naumburg
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Universitätsbibliothek Greifswald
    Signatur:
    310/CG 3384 S37.973
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Deutsche Akademie der Naturforscher Leopoldina, Bibliothek
    Signatur:
    Bc 1 / 322. 8°
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Universitäts- und Landesbibliothek Sachsen-Anhalt / Zentrale
    Signatur:
    R 260 P 005 a
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    Universitäts- und Landesbibliothek Sachsen-Anhalt / Zentrale
    Signatur:
    T Tb 271.5
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    Universitäts- und Landesbibliothek Sachsen-Anhalt / Zentrale
    Signatur:
    R 260 P 005 b
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    Universitäts- und Landesbibliothek Sachsen-Anhalt / Zentrale
    Signatur:
    R 260 P 005 c
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    Universitäts- und Landesbibliothek Sachsen-Anhalt / Zentrale
    Signatur:
    73 A 2276
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Technische Universität Hamburg, Universitätsbibliothek
    Signatur:
    2792-9928
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Universitätsbibliothek Ilmenau
    Signatur:
    73 A 1201
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Thüringer Universitäts- und Landesbibliothek
    Signatur:
    73 A 2930
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Universität Potsdam, Universitätsbibliothek
    Signatur:
    B73:1940
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    Universität Potsdam, Universitätsbibliothek
    Signatur:
    CG 3381 SCHRI
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    Universität Potsdam, Universitätsbibliothek
    Signatur:
    CG 3381 SCHRI
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Universitätsbibliothek Rostock
    Signatur:
    73 A 1821
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Hochschule Schmalkalden, Cellarius Bibliothek
    Signatur:
    Phil 45 6778/01
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Landesbibliothek Mecklenburg-Vorpommern Günther Uecker im Landesamt für Kultur und Denkmalpflege
    Signatur:
    9 A 1610
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Klassik Stiftung Weimar / Herzogin Anna Amalia Bibliothek
    Signatur:
    84464 - A
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    UB Weimar
    Signatur:
    53 052
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Hochschule Wismar, University of Applied Sciences: Technology, Business and Design, Hochschulbibliothek
    Signatur:
    1973 A 880
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Herzogin Anna Amalia Bibliothek
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    Format: Druck
    Schriftenreihe: Philosophische Studientexte
    Schlagworte: Logik; Mathematische Logik;
    Umfang: LIV, 310 S
    Bemerkung(en):

    Bibliographie S. [270] - 298
  18. Symbolic logic and mechanical theorem proving
    Autor*in: Chang, Chin-Liang
    Erschienen: 1973
    Verlag:  Acad. Press, New York, N.Y. [u.a.]

    Standort:
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    Signatur:
    /ST 300 C456
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    Signatur:
    /ST 300 C456
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universitätsbibliothek J. C. Senckenberg, Mathematikbibliothek
    Signatur:
    A 9217
    Fernleihe:
    keine Fernleihe
    Standort:
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    Signatur:
    F.4-36
    Fernleihe:
    keine Fernleihe
    Standort:
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    Signatur:
    F.4-36 ex 2
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universität Gießen, Fachbibliothek Mathematik und Informatik
    Signatur:
    Chan ...
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universität Mainz, Bereichsbibliothek Mathematik, Informatik, Naturwissenschaften
    Signatur:
    SK 1300 CHA1
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universität Marburg, Universitätsbibliothek
    Signatur:
    P 75/54
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    Universität Marburg, Fachbereichsbibliothek Mathematik und Informatik
    Signatur:
    F.4 Chan
    Fernleihe:
    keine Fernleihe
    Standort:
    Universität Marburg, Fachbereichsbibliothek Mathematik und Informatik
    Signatur:
    F.4 Chan
    Fernleihe:
    keine Fernleihe
    Standort:
    Universität Marburg, Fachbereichsbibliothek Mathematik und Informatik
    Signatur:
    F.4 Chan
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Beteiligt: Lee, Richard Char-Tung
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 0121703509
    RVK Klassifikation: ES 930 ; SK 130 ; ST 300
    Schriftenreihe: Computer science and applied mathematics
    Schlagworte: LISP; Logik; Automatisches Beweisverfahren; Nichtnumerische Datenverarbeitung; Mathematische Logik
    Umfang: XII, 331 S.
    Bemerkung(en):

    Literaturverz. S. 309 - 324
  19. Greek, Indian and Arabic logic
    Autor*in:
    Erschienen: 2004
    Verlag:  Elsevier North Holland, Amsterdam [u.a.]

    Standort:
    Staatsbibliothek zu Berlin - Preußischer Kulturbesitz, Haus Potsdamer Straße
    Signatur:
    1 A 614828-1
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Universitätsbibliothek Greifswald
    Signatur:
    310/CC 2400 G112-1
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Niedersächsische Staats- und Universitätsbibliothek Göttingen
    Signatur:
    FA 26461:1
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Thüringer Universitäts- und Landesbibliothek
    Signatur:
    PHI:CC:160:::2004
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Universitätsbibliothek Rostock
    Signatur:
    SG 590 G112-1
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Herzog August Bibliothek Wolfenbüttel
    Signatur:
    67.2080:1
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Herzog August Bibliothek Wolfenbüttel
    Beteiligt: Gabbay, Dov M.; Woods, John
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 0444504664
    Auflage/Ausgabe: 1. ed.
    Schriftenreihe: Handbook of the history of logic / ed. by Dov M. Gabbay and John Woods ; Vol. 1
    Schlagworte: Mathematische Logik; Mathematik; Geschichte;
    Umfang: VIII, 618 S., graph. Darst.
    Bemerkung(en):

    Includes bibliographical references and index
  20. The rise of modern logic
    from Leibniz to Frege
    Autor*in:
    Erschienen: 2004
    Verlag:  Elsevier North Holland, Amsterdam [u.a.]

    Standort:
    Staatsbibliothek zu Berlin - Preußischer Kulturbesitz, Haus Potsdamer Straße
    Signatur:
    1 A 614828-3
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Universitätsbibliothek Greifswald
    Signatur:
    310/CC 2400 G112-3
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Niedersächsische Staats- und Universitätsbibliothek Göttingen
    Signatur:
    FA 26461:3
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    Niedersächsische Staats- und Universitätsbibliothek Göttingen
    Signatur:
    FA 29055:3
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Gottfried Wilhelm Leibniz Bibliothek - Niedersächsische Landesbibliothek
    Signatur:
    2007/438:3
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Thüringer Universitäts- und Landesbibliothek
    Signatur:
    PHI:CC:160:::2004
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Universitätsbibliothek Rostock
    Signatur:
    SG 590 G112-3
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Herzog August Bibliothek Wolfenbüttel
    Signatur:
    67.2080:3
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Herzog August Bibliothek Wolfenbüttel
    Beteiligt: Gabbay, Dov M.; Woods, John
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 0444516115
    Auflage/Ausgabe: 1. ed.
    Schriftenreihe: Handbook of the history of logic / ed. by Dov M. Gabbay and John Woods ; Vol. 3
    Schlagworte: Mathematische Logik; Mathematik; Geschichte;
    Umfang: X, 770 S., graph. Darst.
    Bemerkung(en):

    Includes bibliograhical references and index
  21. Die Logik der Logistik
    Autor*in: Albrecht, Wolfgang
    Erschienen: 2005
    Verlag:  Duncker und Humblot, Berlin

    Standort:
    Sächsische Landesbibliothek - Staats- und Universitätsbibliothek Dresden
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Universitätsbibliothek Erfurt / Forschungsbibliothek Gotha, Universitätsbibliothek Erfurt
    Signatur:
    118464
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Universitätsbibliothek Freiburg
    Signatur:
    KA 2005/886
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Universitäts- und Landesbibliothek Sachsen-Anhalt / Zentrale
    Signatur:
    BW 32.02.01 Albr 24781
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Duale Hochschule Baden-Württemberg Heidenheim, Bibliothek
    Signatur:
    E 230/ Albr
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Universitätsbibliothek Leipzig
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Hochschule Osnabrück, Bibliothek Campus Westerberg
    Signatur:
    QBF-B 124 333/2
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    Hochschule Osnabrück, Bibliothek Campus Westerberg
    Signatur:
    QBF-B 9/2
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Herzog August Bibliothek Wolfenbüttel
    Signatur:
    56.851
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Herzog August Bibliothek Wolfenbüttel
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 3428119185
    Weitere Identifier:
    9783428119189
    RVK Klassifikation: CC 2500
    Auflage/Ausgabe: 2., unveränderte Aufl
    Schriftenreihe: Wissenschaftliche Abhandlungen und Reden zur Philosophie, Politik und Geistesgeschichte ; 36
    Schlagworte: Kant, Immanuel; Mathematische Logik;
    Umfang: 60 S, 21 cm
    Bemerkung(en):

    Unveränd. Nachdr. d. 1. Aufl. von 1954
  22. Archiv für mathematische Logik und Grundlagenforschung
    Autor*in:
    Erschienen: 1950-1987
    Verlag:  Kohlhammer, Stuttgart

    Zugang:
    Digitalisierung (Kostenfrei)

    Standort:
    Staatsbibliothek zu Berlin - Preußischer Kulturbesitz, Haus Potsdamer Straße
    Signatur:
    HB 12 Ad 180-ERF
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Universitätsbibliothek Braunschweig
    Bestandsinformationen
    lizenzfrei: 1.1950 - 26.1987
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Universitätsbibliothek Clausthal
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Hochschule Emden/Leer, Hochschulbibliothek
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Fachhochschule Erfurt, Hochschulbibliothek
    Bestandsinformationen
    lizenzfrei: 1.1950 - 26.1987
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Universitätsbibliothek Erfurt / Forschungsbibliothek Gotha, Universitätsbibliothek Erfurt
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Zentrale Hochschulbibliothek Flensburg
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Deutsche Nationalbibliothek
    Standort:
    Deutsche Nationalbibliothek

    Standort:
    Helmholtz-Zentrum hereon GmbH, Bibliothek
    Bestandsinformationen
    lizenzfrei: 1.1950 - 26.1987
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Universitätsbibliothek Greifswald
    Bestandsinformationen
    lizenzfrei: 1.1950 - 26.1987
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Niedersächsische Staats- und Universitätsbibliothek Göttingen
    Bestandsinformationen
    lizenzfrei: 1.1950 - 26.1987
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Universitäts- und Landesbibliothek Sachsen-Anhalt / Zentrale
    Bestandsinformationen
    lizenzfrei: 1.1950 - 26.1987
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    HafenCity Universität Hamburg, Bibliothek
    Bestandsinformationen
    lizenzfrei: 1.1950 - 26.1987
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Helmut-Schmidt-Universität, Universität der Bundeswehr Hamburg, Universitätsbibliothek
    Bestandsinformationen
    lizenzfrei: 1.1950 - 26.1987
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky
    Bestandsinformationen
    lizenzfrei: 1.1950 - 26.1987
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Technische Universität Hamburg, Universitätsbibliothek
    Bestandsinformationen
    lizenzfrei: 1.1950 - 26.1987
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Bibliothek der Hochschule Hannover
    Bestandsinformationen
    lizenzfrei: 1.1950 - 26.1987
    Fernleihe:
    keine Fernleihe
    Standort:
    Bibliothek im Kurt-Schwitters-Forum
    Bestandsinformationen
    lizenzfrei: 1.1950 - 26.1987
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Gottfried Wilhelm Leibniz Bibliothek - Niedersächsische Landesbibliothek
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Stiftung Tierärztliche Hochschule Hannover, Bibliothek
    Bestandsinformationen
    lizenzfrei: 1.1950 - 26.1987
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
    Bestandsinformationen
    lizenzfrei: 1.1950 - 26.1987
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Max-Planck-Institut für Chemische Ökologie und Max-Planck-Institut für Biogeochemie, Wissenschaftliche Bibliothek
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Thüringer Universitäts- und Landesbibliothek
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Karlsruher Institut für Technologie, KIT-Bibliothek
    Bestandsinformationen
    1.1950 - 26.1987
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Universitätsbibliothek Kiel, Zentralbibliothek
    Bestandsinformationen
    lizenzfrei: 1.1950 - 26.1987
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Hochschule Anhalt , Hochschulbibliothek
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Zentrale Hochschulbibliothek Lübeck
    Bestandsinformationen
    lizenzfrei: 1.1950 - 26.1987
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Leuphana Universität Lüneburg, Medien- und Informationszentrum, Universitätsbibliothek
    Bestandsinformationen
    lizenzfrei: 1.1950 - 26.1987
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Hochschule Magdeburg-Stendal, Hochschulbibliothek
    Bestandsinformationen
    lizenzfrei: 1.1950 - 26.1987
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Max-Planck-Institut für Dynamik Komplexer Technischer Systeme, Bibliothek
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Hochschule Merseburg, Bibliothek
    Bestandsinformationen
    lizenzfrei: 1.1950 - 26.1987
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Max-Planck-Institut für Psycholinguistik, Bibliothek
    Fernleihe:
    keine Fernleihe

    Standort:
    Mathematisches Forschungsinstitut Oberwolfach gGmbH, Bibliothek
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Jade Hochschule Wilhelmshaven/Oldenburg/Elsfleth, Campus Oldenburg, Bibliothek
    Fernleihe:
    keine Fernleihe
    Standort:
    Jade Hochschule Wilhelmshaven/Oldenburg/Elsfleth, Campus Elsfleth, Bibliothek
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Hochschule Osnabrück, Bibliothek Campus Westerberg
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Universitätsbibliothek Osnabrück
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Max-Planck-Institut für Evolutionsbiologie, Bibliothek
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Universität Potsdam, Universitätsbibliothek
    Bestandsinformationen
    lizenzfrei: 1.1950 - 26.1987
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Universitätsbibliothek Rostock
    Bestandsinformationen
    lizenzfrei: 1.1950 - 26.1987
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Hochschule Magdeburg-Stendal, Standort Stendal, Bibliothek
    Bestandsinformationen
    lizenzfrei: 1.1950 - 26.1987
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Universitätsbibliothek Vechta
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Klassik Stiftung Weimar / Herzogin Anna Amalia Bibliothek
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    UB Weimar
    Bestandsinformationen
    lizenzfrei: 1.1950 - 26.1987
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Jade Hochschule Wilhelmshaven/Oldenburg/Elsfleth, Campus Wilhelmshaven, Bibliothek
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Herzog August Bibliothek Wolfenbüttel
    Bestandsinformationen
    1.1950/52 - 26.1987
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Ostfalia Hochschule für angewandte Wissenschaften, Bibliothek
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Herzog August Bibliothek Wolfenbüttel; Herzogin Anna Amalia Bibliothek
    Sprache: Deutsch
    Medientyp: Elektronische Zeitschrift
    Format: Online
    ISSN: 0003-9268
    Weitere Identifier:
    swets: 99090006
    Schlagworte: Mathematische Logik; Zeitschrift;
    Umfang: Online-Ressource
    Bemerkung(en):

    Gesehen am 17.01.11

    Digital. Ausg.: Göttingen : DigiZeitschriften e.V. - Digital. Ausg.: Göttingen : Göttinger Digitalisierungszentrum
  23. Kurt Gödel
    Wahrheit & Beweisbarkeit – Bd. 2, Kompendium zum Werk / Bernd Buldt ... (Hrsg.)
    Autor*in:
    Erschienen: 2002
    Verlag:  Öbv & Hpt, Wien

    Standort:
    Staatsbibliothek zu Berlin - Preußischer Kulturbesitz, Haus Potsdamer Straße
    Signatur:
    1 A 472831-2
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Universitätsbibliothek Braunschweig
    Signatur:
    2824-6765
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Staats- und Universitätsbibliothek Bremen
    Signatur:
    a mat 005/458-2
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Universitätsbibliothek Erfurt / Forschungsbibliothek Gotha, Universitätsbibliothek Erfurt
    Signatur:
    613336
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Niedersächsische Staats- und Universitätsbibliothek Göttingen
    Signatur:
    2003 A 10920:2
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    Niedersächsische Staats- und Universitätsbibliothek Göttingen
    Signatur:
    A 7442/2000 [2]
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Universitäts- und Landesbibliothek Sachsen-Anhalt / Zentrale
    Signatur:
    02 A 701 (2)
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Gottfried Wilhelm Leibniz Bibliothek - Niedersächsische Landesbibliothek
    Signatur:
    2003/345:2
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Thüringer Universitäts- und Landesbibliothek
    Signatur:
    PHI:HP:900:G594:4:2002
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Universitätsbibliothek Kiel, Zentralbibliothek
    Signatur:
    Ay 6590-2
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Leuphana Universität Lüneburg, Medien- und Informationszentrum, Universitätsbibliothek
    Signatur:
    Phil 980.Goe 3/2
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Otto-von-Guericke-Universität, Universitätsbibliothek
    Signatur:
    2002.16515:1
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Bibliotheks-und Informationssystem der Carl von Ossietzky Universität Oldenburg (BIS)
    Signatur:
    mat 009 göd CM 0194-2
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Landesbibliothek Oldenburg
    Signatur:
    02-9220: 2
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Universitätsbibliothek Rostock
    Signatur:
    SF 3305.002-2
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Herzog August Bibliothek Wolfenbüttel
    Signatur:
    54.2716:2
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Herzog August Bibliothek Wolfenbüttel
    Beteiligt: Gödel, Kurt; Buldt, Bernd
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 320903835X
    Übergeordneter Titel: Kurt Gödel : Wahrheit & Beweisbarkeit - Alle Bände anzeigen
    RVK Klassifikation: CI 1200
    Auflage/Ausgabe: 1. Aufl
    Schlagworte: Mathematische Logik; Metamathematik; Theoretische Philosophie; Kosmologie; Gödel, Kurt;
    Umfang: 445 S., Ill., graph. Darst.
    Bemerkung(en):

    Literaturangaben
  24. Kurt Gödel, Wahrheit & Beweisbarkeit
    Autor*in:
    Erschienen: 2002
    Verlag:  Öbv & Hpt, Wien

    Standort:
    Max-Planck-Institut für Wissenschaftsgeschichte, Bibliothek
    Signatur:
    510.92 K965
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Staatsbibliothek zu Berlin - Preußischer Kulturbesitz, Haus Potsdamer Straße
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Universitätsbibliothek Braunschweig
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Staats- und Universitätsbibliothek Bremen
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Universitätsbibliothek Erfurt / Forschungsbibliothek Gotha, Universitätsbibliothek Erfurt
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Niedersächsische Staats- und Universitätsbibliothek Göttingen
    Fernleihe:
    keine Fernleihe
    Standort:
    Niedersächsische Staats- und Universitätsbibliothek Göttingen
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Universitäts- und Landesbibliothek Sachsen-Anhalt / Zentrale
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Gottfried Wilhelm Leibniz Bibliothek - Niedersächsische Landesbibliothek
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Thüringer Universitäts- und Landesbibliothek
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Universitätsbibliothek Kiel, Zentralbibliothek
    Signatur:
    Ay 6590
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    Universitätsbibliothek Kiel, Zentralbibliothek
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Leuphana Universität Lüneburg, Medien- und Informationszentrum, Universitätsbibliothek
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Otto-von-Guericke-Universität, Universitätsbibliothek
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Bibliotheks-und Informationssystem der Carl von Ossietzky Universität Oldenburg (BIS)
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Landesbibliothek Oldenburg
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Universitätsbibliothek Rostock
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Herzog August Bibliothek Wolfenbüttel
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Herzog August Bibliothek Wolfenbüttel
    Beteiligt: Gödel, Kurt; Köhler, Eckehart; Buldt, Bernd
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    Format: Druck
    RVK Klassifikation: CI 1200
    Schlagworte: Gödel, Kurt; Mathematische Logik;
    Weitere Schlagworte: Gödel, Kurt - Contributions in mathematics; Gödel, Kurt - Correspondence; Logicians - Austria - Biography; Logicians - United States - Biography; Metamathematics
    Bemerkung(en):

    Erschienen: 1 - 2
  25. Principia mathematica
    Vorw. und Einl.
    Autor*in: Whitehead, Alfred North
    Erschienen: 2002
    Verlag:  Suhrkamp, Frankfurt am Main

    Standort:
    Universitäts- und Landesbibliothek Sachsen-Anhalt / Zentrale
    Signatur:
    S 020 P 007
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Klassik Stiftung Weimar / Herzogin Anna Amalia Bibliothek
    Signatur:
    CC 2600 W592
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Herzogin Anna Amalia Bibliothek
    Beteiligt: Russell, Bertrand; Gödel, Kurt; Mokre, Hans; Whitehead, Alfred North
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 3518281933
    RVK Klassifikation: CI 6800
    Auflage/Ausgabe: 1. Aufl., [Nachdr.]
    Schriftenreihe: Suhrkamp-Taschenbuch Wissenschaft ; 593
    Schlagworte: Mathematische Logik; ; Typentheorie;
    Umfang: XXXIV, 167 S, 18 cm
    Bemerkung(en):

    Lizenzausg. der Medusa-Verl.-Ges., Wien, Berlin