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
Introduction to mathematical logic : set theory, computable functions, model theory
Undergraduate texts in mathematics
1979
Signatur: TVD1559
    Datensatz exportieren als...
  • BibTeX
Mathematical reasoning : analogies, metaphors, and images
Studies in mathematical thinking and learning
1997
Signatur: TML3848
    Datensatz exportieren als...
  • BibTeX
Introduction to higher order categorical logic
Cambridge studies in advanced mathematics : 7 (Alle Bände)
1986
Signatur: TCX1812
    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
Proof theory
Studies in logic and the foundations of mathematics : 81 (Alle Bände)
1975
Signatur: TCL2004
    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
Elements of logic and foundations of mathematics in problems
1982
Signatur: TCL3254
    Datensatz exportieren als...
  • BibTeX
Proofs and refutations : the logic of mathematical discovery
1976
Signatur: TCL2525
    Datensatz exportieren als...
  • BibTeX
Science without numbers : a defence of nominalism
Library of philosophy and logic
1980
Signatur: TBP2571
    Datensatz exportieren als...
  • BibTeX
The principles of mathematics
2. ed., 10. impr, 1979
Signatur: TBP2466(2)
    Datensatz exportieren als...
  • BibTeX
Phenomenology, logic and the philosophy of mathematics
2005
Signatur: HNI1784
    Datensatz exportieren als...
  • BibTeX
Unpublished philosophical essays
1995
Signatur: TBP3810
    Datensatz exportieren als...
  • BibTeX
Philosophy of mathematics and deductive structure in Euclid's Elements
1981
Signatur: TBP2547
    Datensatz exportieren als...
  • BibTeX
Infinity and the mind : the science and philosophy of the infinite
1982
Signatur: TBP2660
    Datensatz exportieren als...
  • BibTeX
Philosophy of mathematics : selected readings
2. ed, 1983
Signatur: TBP2945(2)
    Datensatz exportieren als...
  • BibTeX
Complementarity in mathematics : a first introduction to the foundations of mathematics and its history
Mathematics and its applications : 1 (Alle Bände)
1977
Signatur: TBP1795
    Datensatz exportieren als...
  • BibTeX
The concept and the role of the model in mathematics and natural and social sciences : proceedings of the colloquium
Synthese library : 3 (Alle Bände)
1961
Signatur: TBP1389
    Datensatz exportieren als...
  • BibTeX
Logic Symposia : Hakone 1979, 1980 ; proceedings of conferences held in Hakone, Japan, March 21 - 24, 1979 and February 4 - 7, 1980
Lecture notes in mathematics : 891 (Alle Bände)
1981
Signatur: TAY790563
    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
Demonstrative and non-demonstrative reasoning in mathematics and natural science : workshop, University of Rome "La Sapienza", Rome, Villa Mirafiori, 16 - 17 June 2005
Edizioni dell'Università degli Studi di Cassino / Studi archeologici, artistica, filologici, filosofici, letterari i storici : 12 (Alle Bände)
2006
Signatur: HLD4030
    Datensatz exportieren als...
  • BibTeX
Russell's philosophy of logical analysis, 1897-1905
History of analytic philosophy
1. publ, 2013
Signatur: JOXU1002
    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
1 – 25 von 40
Suche als RSS-Feed
Aktive Filter
Autor / AutorinBar-Hillēl, Yehôšuaʿ
Autor / AutorinBerger, Ulrich
Autor / AutorinBoole, George
Autor / AutorinCentrone, Stefania
Autor / AutorinVardi, Moshe Y
SpracheDeutsch
SpracheLatein
SystemstelleTCK
SchlagwortMathematik
Suchergebnisse filtern
Filter anzeigen