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
Introduction to logic
4. ed, 1972
Signatur: TCK2677(4)
    Datensatz exportieren als...
  • BibTeX
Patras Logic Symposion : proceedings of the Logic Symposion held at Patras, Greece, Aug. 18-22, 1980
Studies in logic and the foundations of mathematics : 109 (Alle Bände)
1982
Signatur: TAY800910
    Datensatz exportieren als...
  • BibTeX
Essays on mathematical and philosophical logic : proceedings of the 4. Scandinavian Logic Symposium and of the 1. Soviet-Finnish Logic Conference, Jyvaeskylae, Finland, June 29 - July 6, 1976
Synthese library : 122 (Alle Bände)
1979
Signatur: TAY1445-4
    Datensatz exportieren als...
  • BibTeX
Proceedings of the Second Scandinavian Logic Symposium : held at the University of Oslo, June 18 - 20, 1970
Studies in logic and the foundations of mathematics : 63 (Alle Bände)
1971
Signatur: TAY1445-2
    Datensatz exportieren als...
  • BibTeX
An introduction to symbolic logic
3., rev. ed, 1967
Signatur: TCK2350(3)
    Datensatz exportieren als...
  • BibTeX
The theory of logical types
Monographs in modern logic series
1971
Signatur: TCL1765
    Datensatz exportieren als...
  • BibTeX
Einführung in die symbolische Logik : mit besonderer Berücksichtigung ihrer Anwendungen
3., unveränd. Aufl., Nachdr, 1973
Signatur: TCK1508(3)
    Datensatz exportieren als...
  • BibTeX
Deductive logic
2. ed, 1976
Signatur: TCK2740(2)
    Datensatz exportieren als...
  • BibTeX
Folgerichtig denken : logische Untersuchungen zu philosophischen Problemen und Begriffen
1988
Signatur: HLF2321
    Datensatz exportieren als...
  • BibTeX
Logic Conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974
Lecture notes in mathematics : 499 (Alle Bände)
1975
Signatur: TCK2384
    Datensatz exportieren als...
  • BibTeX
A study of logics
Oxford logic guides : 18 (Alle Bände)
1991
Signatur: TCK3314
    Datensatz exportieren als...
  • BibTeX
Einführung in die formale Logik unter der besonderen Fragestellung: was ist Wahrheit allein aufgrund der Form?
1996
Signatur: TOB1682
    Datensatz exportieren als...
  • BibTeX
Einführung in die Logik
Uni-Taschenbücher : 2031 (Alle Bände), Kurs Philosophie, Propaedeutica & Paradeigmata
1998
Signatur: TCK2677-DT
    Datensatz exportieren als...
  • BibTeX
Natural logic
1978
Signatur: TCK2944
    Datensatz exportieren als...
  • BibTeX
Elementare Logik
1967
Signatur: TCK1493
    Datensatz exportieren als...
  • BibTeX
A course in mathematical logic
1977
Signatur: TCK2774
    Datensatz exportieren als...
  • BibTeX
Argument and inference : an introd. to symbolic logic
1979
Signatur: TCK2978
    Datensatz exportieren als...
  • BibTeX
Logic Colloquium. 1984. Proceedings of the colloquium held in Manchester, U.K., July 1984
Logic Colloquium (Alle Bände), ... : 120 (Alle Bände)
1986
Signatur: TAY841128
    Datensatz exportieren als...
  • BibTeX
Logic Colloquium. 1985. Proceedings of the colloquium held in Orsay, France, July 1985
Logic Colloquium (Alle Bände), ... : 122 (Alle Bände)
1987
Signatur: TAY851246
    Datensatz exportieren als...
  • BibTeX
Logic Colloquium. 1986. Proceedings of the colloquium held in Hull, U.K., July 13 - 19, 1986
Logic Colloquium (Alle Bände), ... : 124 (Alle Bände)
1988
Signatur: TAY861233
    Datensatz exportieren als...
  • BibTeX
Logic Colloquium. '87. Proceedings of the Colloquium held in Granada, Spain, July 20-25, 1987
Logic Colloquium (Alle Bände), ... : 129 (Alle Bände)
1989
Signatur: TAY870818
    Datensatz exportieren als...
  • BibTeX
Logic Colloquium. '88. Proceedings of the Colloquium held in Padova, Italy, August 22-31, 1988
Logic Colloquium (Alle Bände), ... : 127 (Alle Bände)
1989
Signatur: TAY880180
    Datensatz exportieren als...
  • BibTeX
Elementare Logik und Mengenlehre
Mathematik für Studienanfänger : 3 (Alle Bände), BI-Hochschultaschenbücher : ...
1974-
Signatur: TCK1922-...
    Datensatz exportieren als...
  • BibTeX
An outline of mathematical logic : fundamental results and notions explained with all details
Synthese library : 70 (Alle Bände)
1974
Signatur: TCK1867
    Datensatz exportieren als...
  • BibTeX
Einstieg in die mathematische Logik
1981
Signatur: TCK3144
1 – 25 von 408
Suche als RSS-Feed
Aktive Filter
SchlagwortComputer science
Autor / AutorinFeferman, Solomon
Suchergebnisse filtern
Filter anzeigen