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
Einführung in die mathematische Logik : ein Lehrbuch mit Berücksichtigung der Logikprogrammierung
Vieweg-Lehrbuch : Mathematik
1996
Signatur: TCK3356
    Datensatz exportieren als...
  • BibTeX
Elements of mathematical logic : (model theory)
Studies in logic and the foundations of mathematics
2., rev. print, 1971
Signatur: TCK1809
    Datensatz exportieren als...
  • BibTeX
Laws of form
1994
Signatur: TCK3364
    Datensatz exportieren als...
  • BibTeX
Introduction to logic and to the methodology of the deductive sciences
Oxford logic guides : 24 (Alle Bände)
4. ed.: ed. by Jan Tarski, 1994
Signatur: TCK1427(4)-EN
    Datensatz exportieren als...
  • BibTeX
Einführung in die mathematische Logik
Hochschultaschenbuch
5. Aufl, 2007
Signatur: TCK2902(5)
    Datensatz exportieren als...
  • BibTeX
Grenzen der Mathematik : eine Reise durch die Kerngebiete der mathematischen Logik
2. Aufl, 2013
Signatur: TCK3526(2)
    Datensatz exportieren als...
  • BibTeX
Grundzüge der Logik
1. Auflage, 1974
Signatur: TCK3047
    Datensatz exportieren als...
  • BibTeX
Einführung in die mathematische Logik : ein Lehrbuch
Studium
2., verb. und erw. Aufl, 2002
Signatur: TCK3356(2)
    Datensatz exportieren als...
  • BibTeX
Lectures on mathematical logic. 3. The logic of arithmetic
Lectures on mathematical logic (Alle Bände)
2000
Signatur: TCK3453-3
    Datensatz exportieren als...
  • BibTeX
Lectures in logic and set theory. 1. Mathematical logic
Lectures in logic and set theory (Alle Bände), Cambridge studies in advanced mathematics : 82 (Alle Bände)
2003
Signatur: TCK3500-1
    Datensatz exportieren als...
  • BibTeX
Grundzüge der mathematischen Logik
Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen : 106 (Alle Bände)
1961
Signatur: TCK1150
    Datensatz exportieren als...
  • BibTeX
Grundzüge der mathematischen Logik
Logik und Grundlagen der Mathematik : 14 (Alle Bände)
1973
Signatur: TCK1443
    Datensatz exportieren als...
  • BibTeX
Konstruktive Einführung in die formale Logik
1984
Signatur: TCK3233
    Datensatz exportieren als...
  • BibTeX
Einstieg in die mathematische Logik
1981
Signatur: TCK3144
    Datensatz exportieren als...
  • BibTeX
Notes on logic and set theory
Cambridge mathematical textbooks
1987
Signatur: TCK3241
    Datensatz exportieren als...
  • BibTeX
Logik
3., durchges. Aufl, 1989
Signatur: TCK3283(3)
    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
Formale Logik
Sammlung Göschen : 1176,1176,a (Alle Bände)
4., verb. Aufl, 1970
Signatur: HLG1867(4)
    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
Mathematical logic
Addison-Wesley series in logic
1967
Signatur: TCK1346
    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
Logic for mathematicians
2. ed, 1978
Signatur: TCK2986(2)
    Datensatz exportieren als...
  • BibTeX
Einführung in die Grundbegriffe und Probleme der modernen Logik
Studium universale
1962
Signatur: TCK1914-DT
    Datensatz exportieren als...
  • BibTeX
Dictionary of symbols of mathematical logic
Studies in logic and the foundations of mathematics
2., corr. print, 1973
Signatur: TCK2449
    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)
1 – 25 von 60
Suche als RSS-Feed
Aktive Filter
Autor / AutorinHermes, Hans
SchlagwortGeschichte
SchlagwortIntensionale Logik
SchlagwortLogik
SchlagwortMathematische Logik
Suchergebnisse filtern
Filter anzeigen