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
Einführung in die mathematische Logik. 2. Prädikatenkalkül der ersten Stufe
Einführung in die mathematische Logik (Alle Bände)
1972
Signatur: TCL2088-2
    Datensatz exportieren als...
  • BibTeX
Einführung in die mathematische Logik. 3. Prädikatenlogik höherer Stufe
Einführung in die mathematische Logik (Alle Bände)
1981
Signatur: TCL2088-3
    Datensatz exportieren als...
  • BibTeX
Einführung in die operative Logik und Mathematik
Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen : 78 (Alle Bände)
2. Aufl, 1969
Signatur: TCK1126(2)
    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
Mathematische Existenz : Untersuchungen zur Logik und Ontologie mathematischer Phänomene
2., unveränd. Aufl, 1973
Signatur: TBP1517(2)
    Datensatz exportieren als...
  • BibTeX
The logical foundations of mathematics
FOUNDATIONS AND PHILOSOPHY OF SCIENCE AND TECHNOLOGY SERIES
1982
Signatur: TCK3152
    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
Inhaltliches Denken und formale Systeme : der platonische Standpunkt in Logik, Mathematik und Erkenntnistheorie
1. Aufl, 1979
Signatur: HLT1684
    Datensatz exportieren als...
  • BibTeX
Elementarmathematik in moderner Darstellung
Logik und Grundlagen der Mathematik : 1 (Alle Bände)
2., verb. u. erw. Aufl., 1. Nachdr, 1970
Signatur: TCK2083(2)
    Datensatz exportieren als...
  • BibTeX
Mathématiques et logique : rétrospective et perspectives
1973
Signatur: TCK2601
    Datensatz exportieren als...
  • BibTeX
Logik und Mathematik für Sozialwissenschaftler. 2. Bestandteile und Methoden formalisierter Modelle in den Sozialwissenschaften
Logik und Mathematik für Sozialwissenschaftler (Alle Bände), Uni-Taschenbücher : 528 (Alle Bände)
1976
Signatur: M37625
    Datensatz exportieren als...
  • BibTeX
Elements of logic and foundations of mathematics in problems
1982
Signatur: TCL3254
    Datensatz exportieren als...
  • BibTeX
Logik und Mathematik für Sozialwissenschaftler
1973-
    Datensatz exportieren als...
  • BibTeX
Proofs and refutations : the logic of mathematical discovery
1976
Signatur: TCL2525
    Datensatz exportieren als...
  • BibTeX
Proofs and refutations : the logic of mathematical discovery
Repr. with corr, 1979
Signatur: TCK3005
    Datensatz exportieren als...
  • BibTeX
Nachgelassene Schriften und wissenschaftlicher Briefwechsel
1969-
Signatur: JFPB1040-...
    Datensatz exportieren als...
  • BibTeX
Logique moderne : Fascicule III, Implications - modalités, logiques polyvalentes, logique combinatoire, ontologie et méréologie de Leśniewski
Reprint 2017, [2017]
    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
Beginning model theory : the completeness theorem and some consequences
OXFORD LOGIC GUIDES
1977
Signatur: TCL2567
    Datensatz exportieren als...
  • BibTeX
Grundlagen : Abhandlungen zur Philosophie, Logik, Mathematik und Wirtschaftswissenschaft
Problemata : 78 (Alle Bände)
1980
Signatur: TCK2198-DT
    Datensatz exportieren als...
  • BibTeX
Mathematik, Logik und Erfahrung
Library of exact philosophy : 2 (Alle Bände)
2., neubearb. Aufl, 1970
Signatur: TBP1444(2)
    Datensatz exportieren als...
  • BibTeX
Grundlagen der Mathematik : eine Einführung in die mathematischen Methoden
1973
Signatur: TBN1054
    Datensatz exportieren als...
  • BibTeX
Logik, Bedeutung und Mathematik : d. Konstruktion e. Fundamentalsprache d. Wiss
1987
Signatur: TBP3022
    Datensatz exportieren als...
  • BibTeX
Zeitschrift für mathematische Logik und Grundlagen der Mathematik
1955-1978
Zeitschriftenbestand: 1.1955 - 24.1978
Signatur: 61z2
    Datensatz exportieren als...
  • BibTeX
Methoden der Logik und Mathematik, Statistische Methoden
Enzyklopädie der geisteswissenschaftlichen Arbeitsmethoden : 3 (Alle Bände)
1968
Signatur: AGJ1023-3
1 – 25 von 48
Suche als RSS-Feed
Aktive Filter
SpracheEnglisch
SchlagwortMathematik
Suchergebnisse filtern
Filter anzeigen