Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Sortiert nach
    Datensatz exportieren als...
  • BibTeX
Beginning model theory : the completeness theorem and some consequences
OXFORD LOGIC GUIDES
1977
Signatur: TCL2567
    Datensatz exportieren als...
  • BibTeX
Proof theory
Grundlehren der mathematischen Wissenschaften : 225 (Alle Bände)
1977
Signatur: TCL2583
    Datensatz exportieren als...
  • BibTeX
Proofs and refutations : the logic of mathematical discovery
1976
Signatur: TCL2525
    Datensatz exportieren als...
  • BibTeX
Mathematische Grundlagenforschung, Intuitionismus, Beweistheorie
Ergebnisse der Mathematik und ihrer Grenzgebiete : A,3,4 (Alle Bände)
Reprint [d. Ausg.] Berlin 1934, 1974
Signatur: TCL1244
    Datensatz exportieren als...
  • BibTeX
Truth value semantics
1976
Signatur: TCL2339
    Datensatz exportieren als...
  • BibTeX
Der Goedelsche Beweis
Scientia nova
2., unveränd. Aufl, 1979
Signatur: TCL2143(2)
    Datensatz exportieren als...
  • BibTeX
Einführung in die mathematische Logik. 2. Prädikatenkalkül der ersten Stufe
Einführung in die mathematische Logik (Alle Bände)
1972
Signatur: TCL2088-2
    Datensatz exportieren als...
  • BibTeX
Einführung in die mathematische Logik. 3. Prädikatenlogik höherer Stufe
Einführung in die mathematische Logik (Alle Bände)
1981
Signatur: TCL2088-3
    Datensatz exportieren als...
  • BibTeX
Elements of logic and foundations of mathematics in problems
1982
Signatur: TCL3254
    Datensatz exportieren als...
  • BibTeX
An introduction to stability theory
Oxford logic guides : 8 (Alle Bände)
1983
Signatur: TCL3327
    Datensatz exportieren als...
  • BibTeX
Proof theory
Studies in logic and the foundations of mathematics : 81 (Alle Bände)
1975
Signatur: TCL2004
    Datensatz exportieren als...
  • BibTeX
Constructivism in mathematics : an introduction. 1
Constructivism in mathematics (Alle Bände), Studies in logic and the foundations of mathematics : 121 (Alle Bände)
1988
Signatur: TCL3660-1
    Datensatz exportieren als...
  • BibTeX
Constructivism in mathematics : an introduction. 2
Constructivism in mathematics (Alle Bände), Studies in logic and the foundations of mathematics : 123 (Alle Bände)
1988
Signatur: TCL3660-2
    Datensatz exportieren als...
  • BibTeX
Intensional mathematics
Studies in logic and the foundations of mathematics : 113 (Alle Bände)
1985
Signatur: TCL3351
    Datensatz exportieren als...
  • BibTeX
Real numbers, generalizations of the reals, and theories of Continua
Synthese library : 242 (Alle Bände)
1994
Signatur: TCL4226
    Datensatz exportieren als...
  • BibTeX
Subsystems of second order arithmetic
Perspectives in mathematical logic
1999
Signatur: TCL4640
    Datensatz exportieren als...
  • BibTeX
How to prove it : a structured approach
Third edition, 2019
Signatur: TCL4797(3)
1 – 17 von 17
Suche als RSS-Feed
Aktive Filter
SchlagwortMathematik
Suchergebnisse filtern
Filter anzeigen