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 shorter model theory
1997
Signatur: TCL4569
    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
Decisions with multiple objectives : preferences and value tradeoffs
[New ed.], 1993
Signatur: TCL2606
    Datensatz exportieren als...
  • BibTeX
How to prove it : a structured approach
Third edition, 2019
Signatur: TCL4797(3)
    Datensatz exportieren als...
  • BibTeX
Understanding mathematical proof
2014
Signatur: TCL4886
    Datensatz exportieren als...
  • BibTeX
Beweis und Reflexion : philosophische Untersuchungen über die Grundlagen beweistheoretischer Praxen
2008
Signatur: TCL4878
    Datensatz exportieren als...
  • BibTeX
Valuation theory in interaction
EMS series of congress reports
2014
Signatur: TAY110129
    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
    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
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
Proof theory and logical complexity
Studies in proof theory : Monographs : ...
Signatur: TCL4836-...
    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
Proof theory and logical complexity. 1
Proof theory and logical complexity (Alle Bände), Studies in proof theory : Monographs : 1 (Alle Bände)
1987
Signatur: TCL4836-1
    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
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
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
Studia logico-mathematica et philosophica : in honorem Rolf Nevanlinna die natali eius septuagesimo 22.10.1965
Acta philosophica Fennica : 18 (Alle Bände)
1965
Signatur: M38128
    Datensatz exportieren als...
  • BibTeX
Aspects of definability
Acta philosophica Fennica : 29,2,3 (Alle Bände)
1977
Signatur: M38134
    Datensatz exportieren als...
  • BibTeX
Proceedings of a Colloquium on Modal and Many Valued Logics : Helsinki, 23 - 26 August, 1962
Acta philosophica Fennica : 16 (Alle Bände)
1963
Signatur: M38120
    Datensatz exportieren als...
  • BibTeX
Gödel's theorem : an incomplete guide to its use and abuse
2005
Signatur: TCL4789
    Datensatz exportieren als...
  • BibTeX
Fuzzy logic : Einführung in Theorie und Anwendungen
Springer-Lehrbuch
2., erw. Aufl, 1995
Signatur: TCL4129(2)
    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
Dynamic logic
Foundations of computing
2000
Signatur: TCL4771
1 – 25 von 358
Suche als RSS-Feed
Aktive Filter
SystemstelleTVM
Suchergebnisse filtern
Filter anzeigen