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
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
Subsystems of second order arithmetic
Perspectives in mathematical logic
1999
Signatur: TCL4640
    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
Proofs and refutations : the logic of mathematical discovery
1976
Signatur: TCL2525
    Datensatz exportieren als...
  • BibTeX
Elements of logic and foundations of mathematics in problems
1982
Signatur: TCL3254
    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
Beginning model theory : the completeness theorem and some consequences
OXFORD LOGIC GUIDES
1977
Signatur: TCL2567
    Datensatz exportieren als...
  • BibTeX
Selected Manuscripts on logic and its philosophy
Science networks : 20 (Alle Bände)
1997
Signatur: TCK3461
    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 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
Mathematical logic
Notes on mathematics and its applications
1973
Signatur: TCK1825
    Datensatz exportieren als...
  • BibTeX
The logical foundations of mathematics
FOUNDATIONS AND PHILOSOPHY OF SCIENCE AND TECHNOLOGY SERIES
1982
Signatur: TCK3152
    Datensatz exportieren als...
  • BibTeX
A mathematical introduction to logic
1972
Signatur: TCK1647
    Datensatz exportieren als...
  • BibTeX
Mathématiques et logique : rétrospective et perspectives
1973
Signatur: TCK2601
    Datensatz exportieren als...
  • BibTeX
Proofs and refutations : the logic of mathematical discovery
Repr. with corr, 1979
Signatur: TCK3005
    Datensatz exportieren als...
  • BibTeX
Philosophy of mathematics : selected readings
2. ed, 1983
Signatur: TBP2945(2)
    Datensatz exportieren als...
  • BibTeX
Unpublished philosophical essays
1995
Signatur: TBP3810
    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
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
Phenomenology, logic and the philosophy of mathematics
2005
Signatur: HNI1784
    Datensatz exportieren als...
  • BibTeX
Philosophy of mathematics and deductive structure in Euclid's Elements
1981
Signatur: TBP2547
1 – 25 von 52
Suche als RSS-Feed
Aktive Filter
Autor / AutorinDiener, Hannes
Autor / AutorinVardi, Moshe Y
SpracheDeutsch
SpracheLatein
SchlagwortMathematik
Suchergebnisse filtern
Filter anzeigen