Ergebnisse für *

Es wurden 6 Ergebnisse gefunden.

Zeige Ergebnisse 1 bis 6 von 6.

Sortieren

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

    Staatsbibliothek zu Berlin - Preußischer Kulturbesitz, Haus Potsdamer Straße
    1 A 849795
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Sächsische Landesbibliothek - Staats- und Universitätsbibliothek Dresden
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Heidelberg
    2012 A 5461
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Thüringer Universitäts- und Landesbibliothek
    PHI:HM:900:F858:4:2012
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Leipzig
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Klassik Stiftung Weimar / Herzogin Anna Amalia Bibliothek
    CG 3397 R969
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    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

    Max-Planck-Institut für Wissenschaftsgeschichte, Bibliothek
    510.1 H1215w
    keine Fernleihe
    Staatsbibliothek zu Berlin - Preußischer Kulturbesitz, Haus Potsdamer Straße
    1 A 800974
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Braunschweig
    2935-1536
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Clausthal
    CL 20 : 1293 / STP-MA
    keine Fernleihe
    Universitätsbibliothek Erfurt / Forschungsbibliothek Gotha, Universitätsbibliothek Erfurt
    CC 2600 H121
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Greifswald
    310/CC 2600 H121
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky
    A 2014/6967
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky
    B 1068
    keine Fernleihe
    Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky
    E 2014/13
    keine Fernleihe
    Gottfried Wilhelm Leibniz Bibliothek - Niedersächsische Landesbibliothek
    2014/3348
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Thüringer Universitäts- und Landesbibliothek
    PHI:CF:300:::2014
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Kiel, Zentralbibliothek
    HACK M-31822
    keine Fernleihe
    Otto-von-Guericke-Universität, Universitätsbibliothek
    2014.06244:1
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Rostock
    SG 700 H121
    keine Fernleihe
    UB Weimar
    266 919
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Herzog August Bibliothek Wolfenbüttel
    65.3245
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    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. Beweise und Widerlegungen
    die Logik mathematischer Entdeckungen
    Autor*in: Lakatos, Imre
    Erschienen: 1979
    Verlag:  Vieweg, Braunschweig

    Berlin-Brandenburgische Akademie der Wissenschaften, Akademiebibliothek
    1970 F 23 - 14
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Max-Planck-Institut für Bildungsforschung, Bibliothek und wissenschaftliche Information
    E 79/3017
    keine Fernleihe
    Max-Planck-Institut für Wissenschaftsgeschichte, Bibliothek
    511 L192b
    keine Fernleihe
    Max-Planck-Institut für Wissenschaftsgeschichte, Bibliothek
    511 L192b 2. Ex.
    keine Fernleihe
    Staatsbibliothek zu Berlin - Preußischer Kulturbesitz, Haus Potsdamer Straße
    Ser. 14068-14
    keine Fernleihe
    Staatsbibliothek zu Berlin - Preußischer Kulturbesitz, Haus Potsdamer Straße
    31 SA 1804-14
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Braunschweig
    2544-7101
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Braunschweig
    2307-9733
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Braunschweig
    B-4852
    keine Fernleihe
    Universitätsbibliothek Braunschweig
    HF-1564
    keine Fernleihe
    Universitätsbibliothek Braunschweig
    LAKA
    keine Fernleihe
    Staats- und Universitätsbibliothek Bremen
    mat 10/13
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Staats- und Universitätsbibliothek Bremen
    a mat 030/727
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Staats- und Universitätsbibliothek Bremen
    01.m.6106
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Technische Universität Chemnitz, Universitätsbibliothek
    CC 2600 lak
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Clausthal
    79 A 833
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Clausthal
    CL 06 : IfM6 MAT: Monographien
    keine Fernleihe
    Sächsische Landesbibliothek - Staats- und Universitätsbibliothek Dresden
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Sächsische Landesbibliothek - Staats- und Universitätsbibliothek Dresden
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Erfurt / Forschungsbibliothek Gotha, Universitätsbibliothek Erfurt
    Bibliothek der Pädagogischen Hochschule Erfurt
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Zentrale Hochschulbibliothek Flensburg
    CI 7500 B57.979
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Zentrale Hochschulbibliothek Flensburg
    CI 7500 B57.979+2
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Zentrale Hochschulbibliothek Flensburg
    CI 7500 B57.979+3
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Zentrale Hochschulbibliothek Flensburg
    CI 7500 B57.979+4
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Zentrale Hochschulbibliothek Flensburg
    CI 7500 B57.979+5
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Zentrale Hochschulbibliothek Flensburg
    CI 7500 B57.979+6
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Zentrale Hochschulbibliothek Flensburg
    CI 7500 B57.979+7
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Zentrale Hochschulbibliothek Flensburg
    CI 7500 B57.979+8
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Zentrale Hochschulbibliothek Flensburg
    CI 7500 B57.979+9
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Zentrale Hochschulbibliothek Flensburg
    CI 7500 B57.979+10
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Freiburg
    GE 82/467
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Mathematisches Institut, Bibliothek / Abteilung für Mathematische Logik
    Frei 3d: V/Lakatos
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Mathematisches Institut, Bibliothek / Abteilung für Didaktik der Mathematik
    Frei 3f: V/Lakatos
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Fachbereichsbibliothek Philosophie und Erziehungswissenschaft, Abteilung Philosophie
    Frei 32: TL 47 PRO 1
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschule Furtwangen University. Informatik, Technik, Wirtschaft, Medien. Campus Furtwangen, Bibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Greifswald
    660/SG 700 L192
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Niedersächsische Staats- und Universitätsbibliothek Göttingen
    ZA 30246:14
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Niedersächsische Staats- und Universitätsbibliothek Göttingen
    XXVII, 4725
    keine Fernleihe
    Niedersächsische Staats- und Universitätsbibliothek Göttingen
    Sem Ma L 73
    keine Fernleihe
    Niedersächsische Staats- und Universitätsbibliothek Göttingen
    LAKATOS Beweise 22729 MON
    keine Fernleihe
    Deutsche Akademie der Naturforscher Leopoldina, Bibliothek
    Da 1 / 466. 8°
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitäts- und Landesbibliothek Sachsen-Anhalt / Zentrale
    MI 94-175
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Helmut-Schmidt-Universität, Universität der Bundeswehr Hamburg, Universitätsbibliothek
    MAT 010:H0005
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky
    A 1980/2324
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky
    A 1980/2324a
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky
    K 136814
    keine Fernleihe
    Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky
    M 9,14
    keine Fernleihe
    Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky
    ZHW 52/123 Bd.14
    keine Fernleihe
    Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky
    2 Lak 250/1
    keine Fernleihe
    Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky
    B 1976/20
    keine Fernleihe
    Bibliothek der Hochschule Hannover
    NAT 0200 /10
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Gottfried Wilhelm Leibniz Bibliothek - Niedersächsische Landesbibliothek
    79/3887
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
    RA 2021(14)
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
    79-2038
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
    oek 328/049
    keine Fernleihe
    Bibliothek der Pädagogischen Hochschule Heidelberg
    Q 2/270
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Heidelberg
    79 B 3366
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Germanistisches Seminar der Universität, Bibliothek
    LOG 2 LAK 37/2
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universität Heidelberg, Bereichsbibliothek Mathematik und Informatik
    Lakat
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universität Heidelberg, Philosophisches Seminar, Bibliothek
    117 Lak 8
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Fakultätsbibliothek Theologie
    S Tc 55
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitätsbibliothek Hildesheim
    71275
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Thüringer Universitäts- und Landesbibliothek
    88 NA 1657/1
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Badische Landesbibliothek
    79 A 9543
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Hochschulbibliothek Karlsruhe (PH)
    L 3.2 LAK
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Karlsruher Institut für Technologie, KIT-Bibliothek
    79 A 1484
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    KIT-Bibliothek, Fachbibliothek Mathematik
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Zentrum für Kunst und Medien Karlsruhe / Staatliche Hochschule für Gestaltung, Bibliothek
    0001-H-5057
    keine Fernleihe
    Universitätsbibliothek Kiel, Zentralbibliothek
    LAKA L-19078
    keine Fernleihe
    Universitätsbibliothek Kiel, Zentralbibliothek
    P 1706-14
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universität Konstanz, Kommunikations-, Informations-, Medienzentrum (KIM)
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Pädagogische Hochschulbibliothek Ludwigsburg
    Mat 1f Lak
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Leuphana Universität Lüneburg, Medien- und Informationszentrum, Universitätsbibliothek
    79-4086 a
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Hochschule Mannheim, Hochschulbibliothek
    SK 130 7
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Leibniz-Institut für Deutsche Sprache (IDS), Bibliothek
    MA 316
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitätsbibliothek Mannheim
    500 CI 7500 B572
    keine Fernleihe
    Universitätsbibliothek Mannheim
    400 SK 130 L192
    keine Fernleihe
    Universitätsbibliothek Mannheim
    BD 5413
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Mathematisches Forschungsinstitut Oberwolfach gGmbH, Bibliothek
    Frei 3c: M/Lakatos, I
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Bibliotheks-und Informationssystem der Carl von Ossietzky Universität Oldenburg (BIS)
    phi 608 AM 4818
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Bibliotheks-und Informationssystem der Carl von Ossietzky Universität Oldenburg (BIS)
    phi 608 AM 4818
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Landesbibliothek Oldenburg
    80-0902
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Osnabrück
    HNQ M 4108-618 0
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Osnabrück
    TBP / Lak
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universität Potsdam, Universitätsbibliothek
    05026658
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Seminar für Ausbildung und Fortbildung der Lehrkräfte Rottweil (Gymnasium), Bibliothek
    M IV A
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Saarländische Universitäts- und Landesbibliothek
    79-9003
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universität des Saarlandes, Fachrichtung Philosophie, Bibliothek
    WIS 1979 LAK
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universität des Saarlandes, Campusbibliothek für Informatik und Mathematik, Fachrichtung 6.1 Mathematik
    keine Fernleihe
    Universitätsbibliothek Stuttgart
    2A 3429-14
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universität Stuttgart, Bibliothek der Institute für Linguistik und Literaturwissenschaft
    T2/1--LAK:a33
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universität Stuttgart, Institut für Philosophie, Bibliothek
    L Lak 3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Württembergische Landesbibliothek
    30/1913
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek der Eberhard Karls Universität
    19 A 10802
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universität Tübingen, Philosophisches Seminar, Bibliothek
    D 4/1979,3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universität Ulm, Kommunikations- und Informationszentrum, Bibliotheksservices
    QA 8/1979 L
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Vechta
    TBQlak = 101165
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Hochschulbibliothek Weingarten
    SG 700 L192 B57
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Leibniz-Institut für Deutsche Sprache, Bibliothek
    Beteiligt: Worrall, John D.; Worrall, John (Hrsg.); Lakatos, Imre
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 3528083921; 9783663000471
    RVK Klassifikation: SG 700 ; CI 7500 ; QH 120 ; CC 2600 ; SK 130
    Schriftenreihe: Wissenschaftstheorie, Wissenschaft und Philosophie ; 14
    Schlagworte: Mathematics; Proof theory; Metamathematics; Wissenschaftstheorie; Beweis; Widerlegung
    Weitere Schlagworte: Logic, Symbolic and mathematical; Mathematics-Philosophy
    Umfang: XII, 161 S., graph. Darst., 8°
    Bemerkung(en):

    Literaturverz. S. 147-153

  4. Proof theory
    Erschienen: 1977
    Verlag:  Springer, Berlin

    Technische Universität Chemnitz, Universitätsbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Mathematisches Institut, Bibliothek / Abteilung für Reine Mathematik
    Frei 3a: V/Schütte
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Mathematisches Institut, Bibliothek / Abteilung für Mathematische Logik
    Frei 3d: V/Schütte
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitätsbibliothek Heidelberg
    UBN/SK 130 S385
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universität Heidelberg, Bereichsbibliothek Mathematik und Informatik
    Schuette
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universität Heidelberg, Bereichsbibliothek Mathematik und Informatik
    Schuette
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Germanistisches Seminar der Universität, Bibliothek
    LOG 3 SCHUE 417/1
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Badische Landesbibliothek
    77 A 14735
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Karlsruher Institut für Technologie, KIT-Bibliothek
    78 A 1955
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universität Konstanz, Kommunikations-, Informations-, Medienzentrum (KIM)
    mat 9:sc53:pa/p76
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Leibniz-Institut für Deutsche Sprache (IDS), Bibliothek
    MA 229
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitätsbibliothek Mannheim
    400 SI 990 G889 W816-225
    keine Fernleihe
    Universitätsbibliothek Mannheim
    AF 1956
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Mathematisches Forschungsinstitut Oberwolfach gGmbH, Bibliothek
    Frei 3c: M/Schuette, K
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universität des Saarlandes, Campusbibliothek für Informatik und Mathematik, Fachrichtung 6.1 Mathematik
    keine Fernleihe
    Universität des Saarlandes, Campusbibliothek für Informatik und Mathematik, Fachrichtung 6.2 Informatik
    keine Fernleihe
    Universitätsbibliothek Stuttgart
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Württembergische Landesbibliothek
    27a/2663
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Brechtbau-Bibliothek
    GD 215.060
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universität Tübingen, Philosophisches Seminar, Bibliothek
    D 4/1977,13
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Fachbibliothek Mathematik und Physik / Bereich Mathematik - Universität Tübingen
    Schu
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Fachbibliothek Mathematik und Physik / Bereich Mathematik - Universität Tübingen
    Schu
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universität Ulm, Kommunikations- und Informationszentrum, Bibliotheksservices
    QA 9.54/1977 S
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    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

  5. Displaying modal logic
    Erschienen: c1998
    Verlag:  Kluwer Academic, Dordrecht

    Sächsische Landesbibliothek - Staats- und Universitätsbibliothek Dresden
    1999 8 025254
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Erfurt / Forschungsbibliothek Gotha, Universitätsbibliothek Erfurt
    660335
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Bibliothek der Technischen Fakultät
    Frei 91: CF/4.1/53
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Niedersächsische Staats- und Universitätsbibliothek Göttingen
    99 A 18682
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Gottfried Wilhelm Leibniz Bibliothek - Niedersächsische Landesbibliothek
    2000/4697
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
    RB 785(3)
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universität Heidelberg, Philosophisches Seminar, Bibliothek
    120 Wan H 2
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitätsbibliothek Ilmenau
    MAT SK 130 W251
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Leibniz-Institut für Deutsche Sprache (IDS), Bibliothek
    MA 1956
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitätsbibliothek Osnabrück
    HLI 5012-052 9
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    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

  6. The history of mathematical proof in ancient traditions
    Autor*in:
    Erschienen: 2012
    Verlag:  Cambridge University Press, Cambridge

    Max-Planck-Institut für Wissenschaftsgeschichte, Bibliothek
    511 H6737
    keine Fernleihe
    Staatsbibliothek zu Berlin - Preußischer Kulturbesitz, Haus Potsdamer Straße
    1 B 148638
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Niedersächsische Staats- und Universitätsbibliothek Göttingen
    F 2012/1741
    keine Fernleihe
    Niedersächsische Staats- und Universitätsbibliothek Göttingen
    2012 B 2576
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Deutsche Akademie der Naturforscher Leopoldina, Bibliothek
    Da 1 / 1212. 4°
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky
    E 2012/4
    keine Fernleihe
    Universitätsbibliothek Kiel, Zentralbibliothek
    Bereich Klassisches Altertum
    keine Fernleihe
    Bibliotheks-und Informationssystem der Carl von Ossietzky Universität Oldenburg (BIS)
    mat 005.2 DD 4444
    keine Fernleihe
    Herzog August Bibliothek Wolfenbüttel
    62.4313
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    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