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
Relative category theory and geometric morphisms : a logical approach
Oxford logic guides : 16 (Alle Bände)
1992
Signatur: TCL3903
    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
How to prove it : a structured approach
2. ed, 2006
Signatur: TCL4797(2)
    Datensatz exportieren als...
  • BibTeX
Lambda-calculus and combinators : an introduction
2008
Signatur: TCL3474
    Datensatz exportieren als...
  • BibTeX
A course in mathematical logic for mathematicians
Graduate texts in mathematics : 53 (Alle Bände)
2. ed, 2010
Signatur: TCL2711(2)
    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
Understanding mathematical proof
2014
Signatur: TCL4886
    Datensatz exportieren als...
  • BibTeX
Automated deduction in multiple valued logics
The International series of monographs on computer science : 10 (Alle Bände), Oxford science publications
1993
Signatur: TVC1499
    Datensatz exportieren als...
  • BibTeX
Einführung in die Fuzzy-Logik
2., vollst. überarb. und erw. Aufl, 1994
Signatur: TCL3953(2)
    Datensatz exportieren als...
  • BibTeX
Hausdorff gaps and limits
Studies in logic and the foundations of mathematics : 132 (Alle Bände)
1994
Signatur: TCL4098
    Datensatz exportieren als...
  • BibTeX
Fine structure and iteration trees
Lecture notes in logic : 3 (Alle Bände)
1994
Signatur: TCL4145
    Datensatz exportieren als...
  • BibTeX
Admissibility of logical inference rules
Studies in logic and the foundation of mathematics : 136 (Alle Bände)
1997
Signatur: TCL4527
    Datensatz exportieren als...
  • BibTeX
Henkin Keisler models
Mathematics and its applications : 392 (Alle Bände)
1997
Signatur: TCL4551
    Datensatz exportieren als...
  • BibTeX
Categories for types
Cambridge mathematical textbooks
1993
Signatur: TCL4111
    Datensatz exportieren als...
  • BibTeX
Automated development of fundamental mathematical theories
Automated reasoning series : 2 (Alle Bände)
1992
Signatur: TCL4006
    Datensatz exportieren als...
  • BibTeX
Studies in model theory
Studies in mathematics : 8 (Alle Bände)
1973
Signatur: TCL1503
    Datensatz exportieren als...
  • BibTeX
Model theory and its applications
Allyn and Bacon series in advanced mathematics
1972
Signatur: TCL1642
    Datensatz exportieren als...
  • BibTeX
Logico-philosophical studies
1962
Signatur: TCL1985
    Datensatz exportieren als...
  • BibTeX
Gödel's proof
Rev. ed, 2001
Signatur: TCL2143-EN
    Datensatz exportieren als...
  • BibTeX
Dynamic logic
Foundations of computing
2000
Signatur: TCL4771
    Datensatz exportieren als...
  • BibTeX
Gödel's theorem : an incomplete guide to its use and abuse
2005
Signatur: TCL4789
    Datensatz exportieren als...
  • BibTeX
Valuation theory in interaction
EMS series of congress reports
2014
Signatur: TAY110129
    Datensatz exportieren als...
  • BibTeX
Beweis und Reflexion : philosophische Untersuchungen über die Grundlagen beweistheoretischer Praxen
2008
Signatur: TCL4878
    Datensatz exportieren als...
  • BibTeX
Proof and other dilemmas : mathematics and philosophy
Spectrum series
2008
Signatur: TCL4860
    Datensatz exportieren als...
  • BibTeX
Model theory in algebra, analysis and arithmetic : Cetraro, Italy 2012
Lecture notes in mathematics : 2111 (Alle Bände)
2014
Signatur: TAY120035
1 – 25 von 310
Suche als RSS-Feed
Aktive Filter
Art des InhaltsNicht angegeben
Autor / AutorinTroelstra, Anne S
SystemstelleTVU
SystemstelleWGI
SchlagwortAlgebra
SchlagwortModallogik
Suchergebnisse filtern
Filter anzeigen