Direkt zur Hauptnavigation springen Direkt zum Inhalt springen
Letzte Suchanfragen

Ergebnisse für *

Es wurden 3 Ergebnisse gefunden.

Zeige Ergebnisse 1 bis 3 von 3.

Sortieren

  1. Hyperproof
    Autor*in: Barwise, Jon
    Erschienen: 1994
    Verlag:  CSLI, Stanford, Calif.

    Standort:
    Humboldt-Universität zu Berlin, Universitätsbibliothek, Jacob-und-Wilhelm-Grimm-Zentrum
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)

    Standort:
    TU Berlin, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Etchemendy, John (Verfasser); Allwein, Gerard (Sonstige)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 1881526119
    RVK Klassifikation: ES 900
    Schriftenreihe: CSLI lecture notes ; 42
    Schlagworte: Informatica; Macintosh-software; Wiskundige logica; Informatik; Computer science; Logic, Symbolic and mathematical; Macintosh (Computer); Hyperproof
    Umfang: XVII, 255 S., graph. Darst.
  2. Foundations of logic, 1903-05
    Autor*in: Russell, Bertrand
    Erschienen: 1994
    Verlag:  Routledge, London

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

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

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

    Standort:
    Niedersächsische Staats- und Universitätsbibliothek Göttingen
    Signatur:
    FA 12091:4
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Standort:
    Niedersächsische Staats- und Universitätsbibliothek Göttingen
    Signatur:
    A 6280/110 [4]
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

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

    Standort:
    Helmut-Schmidt-Universität, Universität der Bundeswehr Hamburg, Universitätsbibliothek
    Signatur:
    PHL 479:R0001-004
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky
    Signatur:
    A/252680: 4
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky
    Signatur:
    4 rn 1000,4
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

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

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

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

    Standort:
    Otto-von-Guericke-Universität, Universitätsbibliothek
    Signatur:
    94.016148
    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:
    phi 479.0 BB 9764-4
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Universitätsbibliothek Osnabrück
    Signatur:
    JOX A 4602-478 1
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

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

    Standort:
    Herzog August Bibliothek Wolfenbüttel
    Signatur:
    44.725:4
    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: Urquhart, Alasdair; Lewis, Albert C.; Rempel, Richard A.
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 0415094062
    Auflage/Ausgabe: McMaster Univ. ed.
    Schriftenreihe: The collected papers of Bertrand Russell / dir. Richard A. Rempel ; Vol. 4
    Schlagworte: Logic, Symbolic and mathematical; Mathematics
    Umfang: lii, 743 p, Ill., graph. Darst., 25 cm
    Bemerkung(en):

    Literaturverz. S. 713 - 726
  3. Hyperproof
    Autor*in: Barwise, Jon
    Erschienen: 1994
    Verlag:  CSLI, Stanford, Calif.

    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
    Beteiligt: Etchemendy, John (Verfasser); Allwein, Gerard (Sonstige)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 1881526119
    RVK Klassifikation: ES 900
    Schriftenreihe: CSLI lecture notes ; 42
    Schlagworte: Informatica; Macintosh-software; Wiskundige logica; Informatik; Computer science; Logic, Symbolic and mathematical; Macintosh (Computer); Hyperproof
    Umfang: XVII, 255 S., graph. Darst.