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
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...
    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
Mathematics and mind
Logic and computation in philosophy
1994
Signatur: TAY911321
    Datensatz exportieren als...
  • BibTeX
Basic concepts of mathematics and logic. Hauptbd
Basic concepts of mathematics and logic (Alle Bände), Addison-Wesley series in introductory mathematics
1968
Signatur: TCK1207-1
    Datensatz exportieren als...
  • BibTeX
Elements of mathematical logic : (model theory)
Studies in logic and the foundations of mathematics
2., rev. print, 1971
Signatur: TCK1809
    Datensatz exportieren als...
  • BibTeX
Introduction to logic and to the methodology of the deductive sciences
Oxford logic guides : 24 (Alle Bände)
4. ed.: ed. by Jan Tarski, 1994
Signatur: TCK1427(4)-EN
    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
Intensional logic : theory and applications
Acta philosophica Fennica : 35 (Alle Bände)
1982
Signatur: M38141
    Datensatz exportieren als...
  • BibTeX
An introduction to non-classical logic
2001
Signatur: TCK3487
    Datensatz exportieren als...
  • BibTeX
Lectures on mathematical logic. 1. Set theoretical logic - the algebra of models
Lectures on mathematical logic (Alle Bände)
2000
Signatur: TCK3453-1
    Datensatz exportieren als...
  • BibTeX
Lectures on mathematical logic. 2. Calculi for derivations and deductions
Lectures on mathematical logic (Alle Bände)
2000
Signatur: TCK3453-2
    Datensatz exportieren als...
  • BibTeX
Lectures on mathematical logic. 3. The logic of arithmetic
Lectures on mathematical logic (Alle Bände)
2000
Signatur: TCK3453-3
    Datensatz exportieren als...
  • BibTeX
Practical foundations of mathematics
Cambridge studies in advanced mathematics : 59 (Alle Bände)
1999
Signatur: TCK3479
    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
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
Reflections on the foundations of mathematics : essays in honor of Solomon Feferman ; [symposium held at Stanford University on December 11 - 13, 1998
Lecture notes in logic : 15 (Alle Bände)
2002
Signatur: TCK3495
    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
Introductory formal logic on mathematics
1957
Signatur: TCK2431
    Datensatz exportieren als...
  • BibTeX
The problem of inductive logic
Proceedings of the International Colloquium in the Philosophy of Science : 2 (Alle Bände), Studies in logic and the foundations of mathematics
1968
Signatur: TCK1794
    Datensatz exportieren als...
  • BibTeX
Introduction to metamathematics
Bibliotheca mathematica : 1 (Alle Bände)
7. reprint, 1974
Signatur: TCK1265
    Datensatz exportieren als...
  • BibTeX
Foundations of constructive mathematics : metamathematical studies
Ergebnisse der Mathematik und ihrer Grenzgebiete : C,6 (Alle Bände)
1985
Signatur: TCK3194
1 – 25 von 87
Suche als RSS-Feed
Aktive Filter
Autor / AutorinBocheński, Joseph M
SchlagwortLogik
SchlagwortPrädikatenlogik
SpracheEnglisch
Suchergebnisse filtern
Filter anzeigen