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
Hilbert's program : an essay on mathematical instrumentalism
Synthese library : 182 (Alle Bände)
1986
Signatur: TCK3225
    Datensatz exportieren als...
  • BibTeX
Mathematical logic
1984
Signatur: TCK3267
    Datensatz exportieren als...
  • BibTeX
Constructibility and mathematical existence
1990
Signatur: TCK3291
    Datensatz exportieren als...
  • BibTeX
Logik
3., durchges. Aufl, 1989
Signatur: TCK3283(3)
    Datensatz exportieren als...
  • BibTeX
Understanding symbolic logic
2. ed, 1989
Signatur: TCK3306(2)
    Datensatz exportieren als...
  • BibTeX
A formalization of set theory without variables
Colloquium publications / American Mathematical Society : 41 (Alle Bände)
1987
Signatur: TCK3259
    Datensatz exportieren als...
  • BibTeX
Einführung in die mathematische Logik
Moderne Mathematik in elementarer Darstellung : 5 (Alle Bände)
5. Aufl., erw. um den Beitr. "Wahrheit und Beweis": von Rainer Stuhlmann-Laeisz übers, 1977
Signatur: TCK1427(5)
    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
Introduction to mathematical logic. 1. 6. PRINT. 1970
Introduction to mathematical logic (Alle Bände)
Signatur: TCK2075-1
    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
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
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
The logical and set theoretical foundations of mathematics
A modern introduction to pure mathematics : 1 (Alle Bände)
1969
Signatur: TCK2300
    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
Elementare Logik : Prädikatenlogik der ersten Stufe
Moderne Mathematik in elementarer Darstellung : 9 (Alle Bände)
1969
Signatur: TCK1079
    Datensatz exportieren als...
  • BibTeX
Grundlagen der Mathematik
Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen : ...
1934-
Signatur: TCK1401(2)-...
    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
Über mehrwertige Logik : ein Abriß
Logik und Grundlagen der Mathematik : 2 (Alle Bände)
2. Aufl, 1970
Signatur: TCK1435(2)
    Datensatz exportieren als...
  • BibTeX
Elements of mathematical logic
International series of monographs in pure and applied mathematics : 31 (Alle Bände)
Reprint, 1966
Signatur: TCK1964
    Datensatz exportieren als...
  • BibTeX
Mathematische Gesetze der Logik
Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen : ...
1960-
Signatur: TCK1053-...
    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
Elementare Logik und Mengenlehre
Mathematik für Studienanfänger : 3 (Alle Bände), BI-Hochschultaschenbücher : ...
1974-
Signatur: TCK1922
1 – 25 von 187
Suche als RSS-Feed
Aktive Filter
Autor / AutorinHermes, Hans
SchlagwortGeschichte
SchlagwortIntensionale Logik
SchlagwortLogik
SchlagwortModelltheorie
Suchergebnisse filtern
Filter anzeigen