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
Introduction to higher order categorical logic
Cambridge studies in advanced mathematics : 7 (Alle Bände)
1986
Signatur: TCX1812
    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
Selected Manuscripts on logic and its philosophy
Science networks : 20 (Alle Bände)
1997
Signatur: TCK3461
    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
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
Philosophy of mathematics and deductive structure in Euclid's Elements
1981
Signatur: TBP2547
    Datensatz exportieren als...
  • BibTeX
Science without numbers : a defence of nominalism
Library of philosophy and logic
1980
Signatur: TBP2571
    Datensatz exportieren als...
  • BibTeX
Infinity and the mind : the science and philosophy of the infinite
1982
Signatur: TBP2660
    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
Mathematical logic and foundations of set theory : proceedings of an international colloquium ..., Jerusalem, 11 - 14 November 1968
Studies in logic and the foundation of mathematics
1970
Signatur: TAY1306
    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
Von der mathematischen Lehrart : als Einleitung in Bolzanos "Wissenschaftslehre"
Frommann's Studientexte : 1 (Alle Bände)
1981
Signatur: JCFI1012
    Datensatz exportieren als...
  • BibTeX
Analysis and Dialectic : studies in the logic of foundation problems
Nijhoff international philosophy series : 18 (Alle Bände)
1984
Signatur: HNK1093
    Datensatz exportieren als...
  • BibTeX
Inhaltliches Denken und formale Systeme : der platonische Standpunkt in Logik, Mathematik und Erkenntnistheorie
1. Aufl, 1979
Signatur: HLT1684
    Datensatz exportieren als...
  • BibTeX
Philosophy of science, logic and mathematics in the twentieth century
Routledge history of philosophy : 9 (Alle Bände)
1996
Signatur: HIU1491-9
    Datensatz exportieren als...
  • BibTeX
The Philosophy of Mathematics and Logic in the 1920s and 1930s in Poland [Elektronische Ressource]
2014
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Logic, Construction, Computation
[2013]
Volltextzugriff (PDF)
1 – 25 von 32
Suche als RSS-Feed
Aktive Filter
Autor / AutorinVardi, Moshe Y
SpracheDeutsch
SpracheLatein
SchlagwortLogik
SchlagwortMathematik
Suchergebnisse filtern
Filter anzeigen