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
Automated theorem proving : a logical basis
Fundamental studies in computer science : 6 (Alle Bände)
1978
Signatur: TCL2957
    Datensatz exportieren als...
  • BibTeX
Algebra of proofs
Studies in logic and the foundations of mathematics : 88 (Alle Bände)
1978
Signatur: TCL2892
    Datensatz exportieren als...
  • BibTeX
Proof theory and intuitionistic systems
Lecture notes in mathematics : 212 (Alle Bände)
1971
Signatur: TCL1032
    Datensatz exportieren als...
  • BibTeX
Proof theory
Studies in logic and the foundations of mathematics : 81 (Alle Bände)
2. ed, 1987
Signatur: TCL3555(2)
    Datensatz exportieren als...
  • BibTeX
Mathematical intuitionism : introd. to proof theory
Translations of mathematical monographs : 67 (Alle Bände)
1988
Signatur: TCL3610
    Datensatz exportieren als...
  • BibTeX
Proof theory and logical complexity
Studies in proof theory : Monographs : ...
Signatur: TCL4836-...
    Datensatz exportieren als...
  • BibTeX
Proof theory : an introduction
Lecture notes in mathematics : 1407 (Alle Bände)
1989
Signatur: TCL3725
    Datensatz exportieren als...
  • BibTeX
Applied proof theory : proof interpretations and their use in mathematics
Springer monographs in mathematics
2008
Signatur: TCL4810
    Datensatz exportieren als...
  • BibTeX
Logical frameworks for truth and abstraction : an axiomatic study
Studies in logic and the foundations of mathematics : 135 (Alle Bände)
1996
Signatur: TCL4446
    Datensatz exportieren als...
  • BibTeX
Elementare Beweistheorie
1994
Signatur: TCL4234
    Datensatz exportieren als...
  • BibTeX
The logic of provability
1993
Signatur: TCL4153
    Datensatz exportieren als...
  • BibTeX
Complexity of proofs and their transformations in axiomatic theories
Translations of mathematical monographs : 128 (Alle Bände)
1. [Dr.], 1993
Signatur: TCL4412
    Datensatz exportieren als...
  • BibTeX
The unprovability of consistency : an essay in modal logic
1979
Signatur: TCL2981
    Datensatz exportieren als...
  • BibTeX
Selected papers in proof theory
Studies in proof theory : Monographs : 3 (Alle Bände)
1992
Signatur: TCL4022
    Datensatz exportieren als...
  • BibTeX
Proof theory
Grundlehren der mathematischen Wissenschaften : 225 (Alle Bände)
1977
Signatur: TCL2583
    Datensatz exportieren als...
  • BibTeX
Der Goedelsche Beweis
Scientia nova
2., unveränd. Aufl, 1979
Signatur: TCL2143(2)
    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
Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies
Lecture notes in mathematics : 897 (Alle Bände)
1981
Signatur: TCL3173
1 – 18 von 18
Suche als RSS-Feed
Aktive Filter
SystemstelleTVC
SchlagwortBeweistheorie
Suchergebnisse filtern
Filter anzeigen