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
A hierarchy of Turing degrees : a transfinite hierarchy of lowness notions in the computably enumerable degrees, unifying classes, and natural definability
Annals of mathematics studies : 206 (Alle Bände)
2020
Signatur: TCL4894
    Datensatz exportieren als...
  • BibTeX
How to prove it : a structured approach
Third edition, 2019
Signatur: TCL4797(3)
    Datensatz exportieren als...
  • BibTeX
Infinity and truth : based on the talks given at the Workshop on Infinity and Truth held at the Institute for Mathematical Sciences, National University of Singapore, from 25 to 29 July 2011
The lecture notes series : 25 (Alle Bände)
2014
Signatur: TCL4852
    Datensatz exportieren als...
  • BibTeX
Understanding mathematical proof
2014
Signatur: TCL4886
    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
    Datensatz exportieren als...
  • BibTeX
Valuation theory in interaction
EMS series of congress reports
2014
Signatur: TAY110129
    Datensatz exportieren als...
  • BibTeX
Die Gödel'schen Unvollständigkeitssätze : eine geführte Reise durch Kurt Gödels historischen Beweis
2013
Signatur: TCL4828
    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
Lambda-calculus and combinators : an introduction
2008
Signatur: TCL3474
    Datensatz exportieren als...
  • BibTeX
Beweis und Reflexion : philosophische Untersuchungen über die Grundlagen beweistheoretischer Praxen
2008
Signatur: TCL4878
    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
Proof and other dilemmas : mathematics and philosophy
Spectrum series
2008
Signatur: TCL4860
    Datensatz exportieren als...
  • BibTeX
Journey into mathematics : an introduction to proofs
Dover books on mathematics
Corr. republ. of the 1. ed. 1998, 2007
Signatur: TCL4844
    Datensatz exportieren als...
  • BibTeX
How to prove it : a structured approach
2. ed, 2006
Signatur: TCL4797(2)
    Datensatz exportieren als...
  • BibTeX
Gödel's theorem : an incomplete guide to its use and abuse
2005
Signatur: TCL4789
    Datensatz exportieren als...
  • BibTeX
Modal logic
Cambridge tracts in theoretical computer science : 53 (Alle Bände)
1. paperback ed., reprint with corr, 2004
Signatur: TCL4763
    Datensatz exportieren als...
  • BibTeX
Computable functions
Student mathematical library : 19 (Alle Bände)
2003
Signatur: TCL4739
    Datensatz exportieren als...
  • BibTeX
The higher infinite : large cardinals in set theory from their beginnings
Springer monographs in mathematics
2. ed, 2003
Signatur: TCL4218(2)
    Datensatz exportieren als...
  • BibTeX
Finite structures with few types
Annals of mathematics studies : 152 (Alle Bände)
2003
Signatur: TCL4747
    Datensatz exportieren als...
  • BibTeX
Rekursive Funktionen
Springer-Lehrbuch
2002
Signatur: TCL4682
    Datensatz exportieren als...
  • BibTeX
Uncertain logics, variables and systems
Lecture notes in control and information sciences : 276 (Alle Bände), Engineering online library
2002
Signatur: TCL4690
    Datensatz exportieren als...
  • BibTeX
Modal logic
Cambridge tracts in theoretical computer science : 53 (Alle Bände)
1. paperback ed, 2002
Signatur: TCL4763
    Datensatz exportieren als...
  • BibTeX
Analysis and logic
London Mathematical Society lecture note series : 262 (Alle Bände)
2002
Signatur: TCL4755
    Datensatz exportieren als...
  • BibTeX
Model theory : an introduction
Graduate texts in mathematics : 217 (Alle Bände)
2002
Signatur: TCL4713
    Datensatz exportieren als...
  • BibTeX
Gödel's proof
Rev. ed, 2001
Signatur: TCL2143-EN
1 – 25 von 354
Suche als RSS-Feed
Aktive Filter
Autor / AutorinTroelstra, Anne S
Suchergebnisse filtern
Filter anzeigen