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
Algebra of proofs
Studies in logic and the foundations of mathematics : 88 (Alle Bände)
1978
Signatur: TCL2892
    Datensatz exportieren als...
  • BibTeX
Proof theory : an introduction
Lecture notes in mathematics : 1407 (Alle Bände)
1989
Signatur: TCL3725
    Datensatz exportieren als...
  • BibTeX
Proof theory and logical complexity
Studies in proof theory : Monographs : ...
Signatur: TCL4836-...
    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
Selected papers in proof theory
Studies in proof theory : Monographs : 3 (Alle Bände)
1992
Signatur: TCL4022
    Datensatz exportieren als...
  • BibTeX
Elementare Beweistheorie
1994
Signatur: TCL4234
    Datensatz exportieren als...
  • BibTeX
An accompaniment to higher mathematics
Undergraduate texts in mathematics
1996
Signatur: TBM1928
    Datensatz exportieren als...
  • BibTeX
Proof theory
Grundlehren der mathematischen Wissenschaften : 225 (Alle Bände)
1977
Signatur: TCL2583
    Datensatz exportieren als...
  • BibTeX
Logic year 1979 - 80
Lecture notes in mathematics : 859 (Alle Bände)
1981
Signatur: TAY790385
    Datensatz exportieren als...
  • BibTeX
How to solve problems : elements of a theory of problems and problem solving
A series of books in psychology
1974
Signatur: TBP1135
    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 logic of provability
1993
Signatur: TCL4153
    Datensatz exportieren als...
  • BibTeX
The unprovability of consistency : an essay in modal logic
1979
Signatur: TCL2981
    Datensatz exportieren als...
  • BibTeX
Proof theory and intuitionistic systems
Lecture notes in mathematics : 212 (Alle Bände)
1971
Signatur: TCL1032
    Datensatz exportieren als...
  • BibTeX
Beweise und Widerlegungen : die Logik mathematischer Entdeckungen
Wissenschaftstheorie, Wissenschaft und Philosophie : 14 (Alle Bände)
1979
Signatur: TBP2076
    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
    Datensatz exportieren als...
  • BibTeX
Tableau systems for first order number theory and certain higher order theories
Lecture notes in mathematics : 447 (Alle Bände)
1975
Signatur: TFC1500
    Datensatz exportieren als...
  • BibTeX
Zum Beweisen im Mathematikunterricht
2. Aufl, 1975
Signatur: TOB1470(2)
    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
Grundlagen der Beweistheorie der marxistischen Philosophie
1977
Signatur: HNG1726
    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
Computation and proof theory
Proceedings of the Logic Colloquium : 2 (Alle Bände), Lecture notes in mathematics : 1104 (Alle Bände)
1984
Signatur: TAY830240-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
Logical frameworks for truth and abstraction : an axiomatic study
Studies in logic and the foundations of mathematics : 135 (Alle Bände)
1996
Signatur: TCL4446
1 – 25 von 64
Suche als RSS-Feed
Suchergebnisse filtern
Filter anzeigen