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
An invitation to mathematical logic
Graduate texts in mathematics : 301 (Alle Bände)
[2024]
Signatur: TCK3581
    Datensatz exportieren als...
  • BibTeX
A first journey through logic
Student mathematical library : 89 (Alle Bände)
[2019]
Signatur: TCK3580
    Datensatz exportieren als...
  • BibTeX
The foundations of mathematics
2. ed, 2015
Signatur: TCK2839(2)
    Datensatz exportieren als...
  • BibTeX
Mathematical logic
Graduate texts in mathematics : 291 (Alle Bände)
Third edition, [2021]
Signatur: TCK2902(3)-EN
    Datensatz exportieren als...
  • BibTeX
Formale Logik
Sammlung Göschen : 1176,1176,a (Alle Bände)
4., verb. Aufl, 1970
Signatur: HLG1867(4)
    Datensatz exportieren als...
  • BibTeX
Introduction to mathematical proofs : a transition to advanced mathematics
Textbooks in mathematics, A Chapman & Hall book
Second edition, [2015]
Signatur: TCK3568(2)
    Datensatz exportieren als...
  • BibTeX
An introduction to non-classical logic : from if to is
Cambridge introductions to philosophy
2. ed, 2008
Signatur: TCK3487(2)
    Datensatz exportieren als...
  • BibTeX
Internal logic : foundations of mathematics from Kronecker to Hilbert
Synthese library : 310 (Alle Bände)
2002
Signatur: TCK3550
    Datensatz exportieren als...
  • BibTeX
Problem-solving strategies in mathematics : from common approaches to exemplary strategies
Problem solving in mathematics and beyond : 1 (Alle Bände)
[2015]
Signatur: TCK3542
    Datensatz exportieren als...
  • BibTeX
Grenzen der Mathematik : eine Reise durch die Kerngebiete der mathematischen Logik
2. Aufl, 2013
Signatur: TCK3526(2)
    Datensatz exportieren als...
  • BibTeX
Introduction to mathematical logic
Discrete mathematics and its applications : 48 (Alle Bände), A Chapman & Hall book
5. ed, 2010
Signatur: TCK1362(5)
    Datensatz exportieren als...
  • BibTeX
How to solve it : a new aspect of mathematical method
Princeton science library
Expanded ed, 2004
Signatur: TCK3518
    Datensatz exportieren als...
  • BibTeX
Von einem logischen Standpunkt : neun logisch-philosophische Essays
Ullstein-Buch : 35010 (Alle Bände)
Dt. Erstausg, 1979
Signatur: HLF2729
    Datensatz exportieren als...
  • BibTeX
Einführung in die mathematische Logik
Hochschultaschenbuch
5. Aufl, 2007
Signatur: TCK2902(5)
    Datensatz exportieren als...
  • BibTeX
Thirty years of foundational studies : lectures on the development of mathematical logic and the study of the foundations of mathematics in 1930-1964
Acta philosophica Fennica : 17 (Alle Bände)
Repr, 1967
Signatur: M38127
    Datensatz exportieren als...
  • BibTeX
Intensional logic : theory and applications
Acta philosophica Fennica : 35 (Alle Bände)
1982
Signatur: M38141
    Datensatz exportieren als...
  • BibTeX
Einführung in die mathematische Logik : klassische Prädikatenlogik
Mathematische Leitfäden
1963
Signatur: M35967, ZZVH1000
    Datensatz exportieren als...
  • BibTeX
Beobachtung der Wirklichkeit : Differenztheorie und die zwei Wahrheiten in der buddhistischen Madhyamika-Philosophie
1. Aufl, 2004
Signatur: HLT3898
    Datensatz exportieren als...
  • BibTeX
Principia mathematica. 1
Principia mathematica (Alle Bände)
2. ed., repr. [d. Ausg.] 1927, 1978
Signatur: TCK1223(2)-1
    Datensatz exportieren als...
  • BibTeX
Principia mathematica. 2
Principia mathematica (Alle Bände)
2. ed., repr. [d. Ausg.] 1927, 1978
Signatur: TCK1223(2)-2
    Datensatz exportieren als...
  • BibTeX
Principia mathematica. 3
Principia mathematica (Alle Bände)
2. ed., repr. [d. Ausg.] 1927, 1978
Signatur: TCK1223(2)-3
    Datensatz exportieren als...
  • BibTeX
Lectures in logic and set theory
2003-
Signatur: TCK3500-...
    Datensatz exportieren als...
  • BibTeX
Lectures in logic and set theory. 1. Mathematical logic
Lectures in logic and set theory (Alle Bände), Cambridge studies in advanced mathematics : 82 (Alle Bände)
2003
Signatur: TCK3500-1
    Datensatz exportieren als...
  • BibTeX
Lectures in logic and set theory. 2. Set theory
Lectures in logic and set theory (Alle Bände), Cambridge studies in advanced mathematics : 83 (Alle Bände)
2003
Signatur: TCK3500-2
    Datensatz exportieren als...
  • BibTeX
Einführung in die mathematische Logik : ein Lehrbuch
Studium
2., verb. und erw. Aufl, 2002
Signatur: TCK3356(2)
1 – 25 von 239
Suche als RSS-Feed
Aktive Filter
SchlagwortAufgabe
Suchergebnisse filtern
Filter anzeigen