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
Grundzüge der theoretischen Logik
Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen : 27 (Alle Bände)
6. Aufl, 1972
Signatur: TCK1095(6)
    Datensatz exportieren als...
  • BibTeX
Handbook of mathematical logic
Studies in logic and the foundations of mathematics : 90 (Alle Bände)
7. impr, 1991
Signatur: TCK2889
    Datensatz exportieren als...
  • BibTeX
Begriffsschrift und andere Aufsätze
2. Aufl.: mit E. Husserls u. H. Scholz' Anm. hrsg. von Ignacio Angelelli, 1964
Signatur: TCK2457(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 FOUNDATIONS OF MATHEMATICS AND OTHER LOGICAL ESSAYS
INTERNATIONAL LIBRARY OF PSYCHOLOGY, PHILOSOPHY AND SCIENTIFI C METHOD.
1965
Signatur: TCK2198
    Datensatz exportieren als...
  • BibTeX
Handbook of mathematical logic
Studies in logic and the foundations of mathematics : 90 (Alle Bände)
8. impr., [Nachdr.], 1999
Signatur: TCK2889
    Datensatz exportieren als...
  • BibTeX
Introduction to symbolic logic
3. ed., reprint, 1970
Signatur: TCK2596(3)
    Datensatz exportieren als...
  • BibTeX
Logic: depth grammar of rationality : a textbook on the science and history of logic
1975
Signatur: TCK2716
    Datensatz exportieren als...
  • BibTeX
Foundations of constructive mathematics : metamathematical studies
Ergebnisse der Mathematik und ihrer Grenzgebiete : C,6 (Alle Bände)
1985
Signatur: TCK3194
    Datensatz exportieren als...
  • BibTeX
A course in mathematical logic
1977
Signatur: TCK2774
    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
Contributions to logic and methodology in honor of J. M. Bochénski
1965
Signatur: TCK2588
    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
Einstieg in die mathematische Logik
1981
Signatur: TCK3144
    Datensatz exportieren als...
  • BibTeX
An investigation of the laws of thought on which are founded the mathematical theories of logic and probabilities
1. American print, 1958
Signatur: TCK2203
    Datensatz exportieren als...
  • BibTeX
Elements of mathematical logic and set theory
International series of monographs in pure and applied mathematics : 96 (Alle Bände)
1. Engl. ed, 1967
Signatur: TCK1972
    Datensatz exportieren als...
  • BibTeX
Formale Logik : logische Systeme ; Einführung in die Metalogik ; ein Lehrbuch
1977
Signatur: TCK2897
    Datensatz exportieren als...
  • BibTeX
Foundations of mathematics : symposium papers commemorating the 60. birthday of Kurt Gödel [celebrated during the 75th Anniversary Meeting of the Ohio Academy of Science at The Ohio State University, Columbus, on April 22, 1966
1969
Signatur: TCK1516
    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
Argument and inference : an introd. to symbolic logic
1979
Signatur: TCK2978
    Datensatz exportieren als...
  • BibTeX
Induktive Logik und Wahrscheinlichkeit
1959
Signatur: TCK1037
    Datensatz exportieren als...
  • BibTeX
Foundations of logic and mathematics
INTERNATIONAL ENCYCLOPEDIA OF UNIFIED SCIENCE : 3 (Alle Bände)
15. IMPR, 1977
Signatur: TCK2847
    Datensatz exportieren als...
  • BibTeX
Fundamentals of logic
3. Ed, 1980
Signatur: TCK1388(3)
1 – 25 von 191
Suche als RSS-Feed
Aktive Filter
Autor / AutorinHermes, Hans
SchlagwortGeschichte
SchlagwortIntensionale Logik
SchlagwortLogik
Suchergebnisse filtern
Filter anzeigen