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
Mathematical reasoning : analogies, metaphors, and images
Studies in mathematical thinking and learning
1997
Signatur: TML3848
    Datensatz exportieren als...
  • BibTeX
Intensional mathematics
Studies in logic and the foundations of mathematics : 113 (Alle Bände)
1985
Signatur: TCL3351
    Datensatz exportieren als...
  • BibTeX
Subsystems of second order arithmetic
Perspectives in mathematical logic
1999
Signatur: TCL4640
    Datensatz exportieren als...
  • BibTeX
Beginning model theory : the completeness theorem and some consequences
OXFORD LOGIC GUIDES
1977
Signatur: TCL2567
    Datensatz exportieren als...
  • BibTeX
Proof theory
Studies in logic and the foundations of mathematics : 81 (Alle Bände)
1975
Signatur: TCL2004
    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
A formal background to mathematics. 1. Logic, sets and numbers, A
A formal background to mathematics (Alle Bände)
1979
Signatur: TCK3013-1,A
    Datensatz exportieren als...
  • BibTeX
A formal background to mathematics. 1. Logic, sets and numbers, B
A formal background to mathematics (Alle Bände)
1979
Signatur: TCK3013-1,B
    Datensatz exportieren als...
  • BibTeX
Practical foundations of mathematics
Cambridge studies in advanced mathematics : 59 (Alle Bände)
1999
Signatur: TCK3479
    Datensatz exportieren als...
  • BibTeX
The principles of mathematics
2. ed., 10. impr, 1979
Signatur: TBP2466(2)
    Datensatz exportieren als...
  • BibTeX
Unpublished philosophical essays
1995
Signatur: TBP3810
    Datensatz exportieren als...
  • BibTeX
Phenomenology, logic and the philosophy of mathematics
2005
Signatur: HNI1784
    Datensatz exportieren als...
  • BibTeX
Philosophy of mathematics : selected readings
2. ed, 1983
Signatur: TBP2945(2)
    Datensatz exportieren als...
  • BibTeX
The search for mathematical roots, 1870 - 1940 : logics, set theories and the foundations of mathematics from Cantor through Russell to Gödel
2000
Signatur: TAQ5025
    Datensatz exportieren als...
  • BibTeX
Mathematics of the 19th century. 1. Mathematical logic, algebra, number theory, probability theory
Mathematics of the 19th century (Alle Bände)
1992
Signatur: TAQ4053-1
    Datensatz exportieren als...
  • BibTeX
Logic and foundations of mathematics in Frege's philosophy
The philosophy of Frege : 2 (Alle Bände), A Garland series
1993
Signatur: JFPQ1045-2
    Datensatz exportieren als...
  • BibTeX
Frege : philosophy of mathematics
1991
Signatur: JFPQ1037
    Datensatz exportieren als...
  • BibTeX
From mathematics to philosophy : = Cong shuxue dao zhexue
International library of philosophy and scientific method
1974
Signatur: HLF2868
    Datensatz exportieren als...
  • BibTeX
Ways of Proof Theory
[2013]
    Datensatz exportieren als...
  • BibTeX
Frege and Gödel : Two Fundamental Texts in Mathematical Logic
Reprint 2014, [2014]
    Datensatz exportieren als...
  • BibTeX
Towards Mathematical Philosophy : Papers from the Studia Logica conference Trends in Logic IV [Elektronische Ressource]
2009
1 – 21 von 21
Suche als RSS-Feed
Aktive Filter
Autor / AutorinBerger, Ulrich
Autor / AutorinCentrone, Stefania
Autor / AutorinVardi, Moshe Y
SpracheDeutsch
SpracheLatein
SchlagwortLogik
SchlagwortMathematik
Suchergebnisse filtern
Filter anzeigen