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
Logic and foundations of mathematics : dedicated to Prof. A. Heyting on his 70th birthday
1968
Signatur: TCK2041
    Datensatz exportieren als...
  • BibTeX
Cours de logique mathématique. 2. Théorie des modèles
Cours de logique mathématique (Alle Bände), Collection de logique mathématique : Sér. A : 24 (Alle Bände)
2. éd., rev. et modifiée, 1972
Signatur: TCK1728(2)-FR,2
    Datensatz exportieren als...
  • BibTeX
Logic Colloquium : symposium on logic held at Boston 1972 - 73
Lecture notes in mathematics : 453 (Alle Bände)
1975
Signatur: TCK2017
    Datensatz exportieren als...
  • BibTeX
Dictionary of logical terms and symbols
1978
Signatur: TCK2928
    Datensatz exportieren als...
  • BibTeX
A formal background to mathematics. 2,A-B. A CRITICAL APPROACH TO ELEMENTARY ANALYSIS. - 1980
A formal background to mathematics (Alle Bände)
Signatur: TCK3013-2,A-B
    Datensatz exportieren als...
  • BibTeX
Mathematische Gesetze der Logik. 1. Vorlesungen über Aussagenlogik
Mathematische Gesetze der Logik (Alle Bände), Die Grundlagen der mathematischen Wissenschaften in Einzeldarstellungen : 69 (Alle Bände)
1960
Signatur: TCK1053-1
    Datensatz exportieren als...
  • BibTeX
Grundlagen der Mathematik. 1
Grundlagen der Mathematik (Alle Bände), Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen : 40 (Alle Bände)
2. Aufl, 1968
Signatur: TCK1401(2)-1
    Datensatz exportieren als...
  • BibTeX
Grundlagen der Mathematik. 2
Grundlagen der Mathematik (Alle Bände), Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen : 50 (Alle Bände)
2. Aufl, 1970
Signatur: TCK1401(2)-2
    Datensatz exportieren als...
  • BibTeX
COMPRENDRE LA LOGIQUE MODERNE. 1. CLASSES, PROPOSITIONS ET PREDICATS. (LOGIQUE...9.)
COMPRENDRE LA LOGIQUE MODERNE (Alle Bände)
Signatur: TCK1710-1
    Datensatz exportieren als...
  • BibTeX
COMPRENDRE LA LOGIQUE MODERNE. 2. LOGIQUES NON CLASSIQUES,RELATIONS ET STRUCTURES. (LOGIQUE...10.)
COMPRENDRE LA LOGIQUE MODERNE (Alle Bände)
Signatur: TCK1710-2
    Datensatz exportieren als...
  • BibTeX
Course of mathematical logic. 1. Relation and logical formula
Course of mathematical logic (Alle Bände), ... : 54 (Alle Bände)
2. print, 1974
Signatur: TCK1728-1
    Datensatz exportieren als...
  • BibTeX
Course of mathematical logic. 2. Model theory
Course of mathematical logic (Alle Bände), Synthese library : 69 (Alle Bände)
1974
Signatur: TCK1728-2
    Datensatz exportieren als...
  • BibTeX
Mathematical Logic : proceedings of the 1. Brazilian Conference on Math. Logic held at the State Univ. of Campinas, Brazil, from 4. to 6. July 1977
Lecture notes in pure and applied mathematics : 39 (Alle Bände)
1978
Signatur: TCK2936
    Datensatz exportieren als...
  • BibTeX
The problem of inductive logic
Proceedings of the International Colloquium in the Philosophy of Science : 2 (Alle Bände), Studies in logic and the foundations of mathematics
1968
Signatur: TCK1794
    Datensatz exportieren als...
  • BibTeX
Proceedings of the Summer School in Logic : Leeds, 1967 ; NATO Advanced Study Institute Meeting of the Association for Symbolic Logic
Lecture notes in mathematics : 70 (Alle Bände)
1968
Signatur: TCK1184
    Datensatz exportieren als...
  • BibTeX
Infinitary logic : in memoriam Carol Karp ; a collection of papers by various authors
Lecture notes in mathematics : 492 (Alle Bände)
1975
Signatur: TCK2376
    Datensatz exportieren als...
  • BibTeX
Aspects of mathematical logic : Varenna, 9 - 17 settembre 1968
Ciclo / Centro Internazionale Matematico Estivo : 1968,3 (Alle Bände)
1969
Signatur: TCK2287
    Datensatz exportieren als...
  • BibTeX
Conference in Mathematical Logic : London '70
Lecture notes in mathematics : 255 (Alle Bände)
1972
Signatur: TCK1176
    Datensatz exportieren als...
  • BibTeX
Principia mathematica. 1
Principia mathematica (Alle Bände)
2. ed., repr. [d. Ausg.] 1927, 1973
Signatur: TCK1223(2)-1
    Datensatz exportieren als...
  • BibTeX
Principia mathematica. 3
Principia mathematica (Alle Bände)
2. ed., repr. [d. Ausg.] 1927, 1973
Signatur: TCK1223(2)-3
    Datensatz exportieren als...
  • BibTeX
Principia mathematica. 2
Principia mathematica (Alle Bände)
2. ed., repr. [d. Ausg.] 1927, 1973
Signatur: TCK1223(2)-2
    Datensatz exportieren als...
  • BibTeX
Cambridge Summer School in Mathematical Logic : held in Cambridge, England, August 1 - 21, 1971
Lecture notes in mathematics : 337 (Alle Bände)
1973
Signatur: TCK1930
    Datensatz exportieren als...
  • BibTeX
A history of formal logic
Chelsea scientific books : 238 (Alle Bände)
2. ed., reprint, 1970
Signatur: TCK1760(2)
    Datensatz exportieren als...
  • BibTeX
Contributions to mathematical logic : proceedings of the Logic Colloquium, Hannover 1966
Studies in logic and the foundations of mathematics
1968
Signatur: TCK1744
    Datensatz exportieren als...
  • BibTeX
Aspects of inductive logic
Studies in logic and the foundations of mathematics
1966
Signatur: TCK1752
1 – 25 von 53
Suche als RSS-Feed
Aktive Filter
Art des InhaltsSonstiges
SystemstelleHIN
Suchergebnisse filtern
Filter anzeigen