Direkt zur Hauptnavigation springen Direkt zum Inhalt springen
Letzte Suchanfragen

Ergebnisse für *

Es wurden 5 Ergebnisse gefunden.

Zeige Ergebnisse 1 bis 5 von 5.

Sortieren

  1. Frege's notations
    what they are and how they mean
    Autor*in: Landini, Gregory
    Erschienen: 2012
    Verlag:  Palgrave Macmillan, Basingstoke [u.a.]

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

    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 Heidelberg
    Signatur:
    2012 A 5461
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

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

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

    Standort:
    Klassik Stiftung Weimar / Herzogin Anna Amalia Bibliothek
    Signatur:
    CG 3397 R969
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Herzogin Anna Amalia Bibliothek
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 9780230247741; 0230247741
    Weitere Identifier:
    9780230247741
    RVK Klassifikation: CC 4900 ; CG 3397
    Auflage/Ausgabe: 1. publ.
    Schriftenreihe: History of analytic philosophy
    Schlagworte: Mathematical notation; Logic, Symbolic and mathematical; Proof theory
    Weitere Schlagworte: Frege, Gottlob (1848-1925)
    Umfang: XIV, 194 S.
  2. Why is there philosophy of mathematics at all?
    Autor*in: Hacking, Ian
    Erschienen: 2014
    Verlag:  Cambridge University Press, Cambridge

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

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

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

    Standort:
    Universitätsbibliothek Clausthal
    Signatur:
    CL 20 : 1293 / STP-MA
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

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

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

    Standort:
    Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky
    Signatur:
    A 2014/6967
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky
    Signatur:
    B 1068
    Fernleihe:
    keine Fernleihe
    Standort:
    Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky
    Signatur:
    E 2014/13
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

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

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

    Standort:
    Universitätsbibliothek Kiel, Zentralbibliothek
    Signatur:
    HACK M-31822
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

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

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

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

    Standort:
    Herzog August Bibliothek Wolfenbüttel
    Signatur:
    65.3245
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Herzog August Bibliothek Wolfenbüttel
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 9781107658158; 9781107050174
    RVK Klassifikation: SG 700 ; CC 2600
    Schlagworte: Mathematics; Proof theory
    Umfang: xv, 290 Seiten
    Bemerkung(en):

    Literaturverzeichnis: Seite 262-280

    Hier auch später erschienene, unveränderte Nachdrucke
  3. Proof theory
    Autor*in: Schütte, Kurt
    Erschienen: 1977
    Verlag:  Springer, Berlin

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

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

    Standort:
    Universitätsbibliothek Heidelberg
    Signatur:
    UBN/SK 130 S385
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    Universität Heidelberg, Bereichsbibliothek Mathematik und Informatik
    Signatur:
    Schuette
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Standort:
    Universität Heidelberg, Bereichsbibliothek Mathematik und Informatik
    Signatur:
    Schuette
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Standort:
    Germanistisches Seminar der Universität, Bibliothek
    Signatur:
    LOG 3 SCHUE 417/1
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Badische Landesbibliothek
    Signatur:
    77 A 14735
    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 1955
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Universität Konstanz, Kommunikations-, Informations-, Medienzentrum (KIM)
    Signatur:
    mat 9:sc53:pa/p76
    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 229
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Universitätsbibliothek Mannheim
    Signatur:
    400 SI 990 G889 W816-225
    Fernleihe:
    keine Fernleihe
    Standort:
    Universitätsbibliothek Mannheim
    Signatur:
    AF 1956
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Mathematisches Forschungsinstitut Oberwolfach gGmbH, Bibliothek
    Signatur:
    Frei 3c: M/Schuette, K
    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.1 Mathematik
    Fernleihe:
    keine Fernleihe
    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:
    Universitätsbibliothek Stuttgart
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

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

    Standort:
    Brechtbau-Bibliothek
    Signatur:
    GD 215.060
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    Universität Tübingen, Philosophisches Seminar, Bibliothek
    Signatur:
    D 4/1977,13
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Standort:
    Fachbibliothek Mathematik und Physik / Bereich Mathematik - Universität Tübingen
    Signatur:
    Schu
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Standort:
    Fachbibliothek Mathematik und Physik / Bereich Mathematik - Universität Tübingen
    Signatur:
    Schu
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Universität Ulm, Kommunikations- und Informationszentrum, Bibliotheksservices
    Signatur:
    QA 9.54/1977 S
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    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: Schütte, Kurt
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 3540079114; 0387079114
    RVK Klassifikation: SK 130 ; CC 2600 ; SI 990
    Schriftenreihe: Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen ; 225
    Schlagworte: Metamathematics; Proof theory
    Umfang: XII, 302 S.
    Bemerkung(en):

    Transl. of the rev. version of "Beweistheorie", 1. ed., 1960, Grundlehren der math. Wissenschaften, Bd. 103
  4. Displaying modal logic
    Autor*in: Wansing, Heinrich
    Erschienen: c1998
    Verlag:  Kluwer Academic, Dordrecht

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

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

    Standort:
    Bibliothek der Technischen Fakultät
    Signatur:
    Frei 91: CF/4.1/53
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

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

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

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

    Standort:
    Universität Heidelberg, Philosophisches Seminar, Bibliothek
    Signatur:
    120 Wan H 2
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Universitätsbibliothek Ilmenau
    Signatur:
    MAT SK 130 W251
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

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

    Standort:
    Universitätsbibliothek Osnabrück
    Signatur:
    HLI 5012-052 9
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Leibniz-Institut für Deutsche Sprache, Bibliothek
    Sprache: Englisch
    Medientyp: Dissertation
    Format: Druck
    ISBN: 079235205X
    Weitere Identifier:
    9780792352051
    RVK Klassifikation: SK 130 ; CC 2400
    Schriftenreihe: Trends in logic ; 3
    Schlagworte: Modality (Logic); Proof theory
    Umfang: XI, 252 S, graph. Darst, 25 cm
    Bemerkung(en):

    Zugl.: Leipzig, Univ., Habil.-Schr., 1997 u.d.T.: Wansing, Heinrich: Proof-theoretic aspects of intensional and non-classical logics
  5. The history of mathematical proof in ancient traditions
    Autor*in:
    Erschienen: 2012
    Verlag:  Cambridge University Press, Cambridge

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

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

    Standort:
    Niedersächsische Staats- und Universitätsbibliothek Göttingen
    Signatur:
    F 2012/1741
    Fernleihe:
    keine Fernleihe
    Standort:
    Niedersächsische Staats- und Universitätsbibliothek Göttingen
    Signatur:
    2012 B 2576
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

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

    Standort:
    Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky
    Signatur:
    E 2012/4
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Universitätsbibliothek Kiel, Zentralbibliothek
    Signatur:
    Bereich Klassisches Altertum
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

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

    Standort:
    Herzog August Bibliothek Wolfenbüttel
    Signatur:
    62.4313
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Herzog August Bibliothek Wolfenbüttel
    Beteiligt: Chemla, Karine (HerausgeberIn)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 110701221X; 9781107012219
    RVK Klassifikation: CC 3400 ; SG 590
    Schlagworte: Mathematics, Ancient; Proof theory
    Umfang: xv, 596 Seiten, Illustrationen, Diagramme, 25 cm
    Bemerkung(en):

    Literaturangaben