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
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
Folgerichtig denken : logische Untersuchungen zu philosophischen Problemen und Begriffen
1988
Signatur: HLF2321
    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
A study of logics
Oxford logic guides : 18 (Alle Bände)
1991
Signatur: TCK3314
    Datensatz exportieren als...
  • BibTeX
Elementare Logik
1967
Signatur: TCK1493
    Datensatz exportieren als...
  • BibTeX
Zweiwertige und mehrwertige Logik : ein Beitrag zur Geschichte und Einheit der Logik
Analytica : 1 (Alle Bände)
1973
Signatur: HLF1016
    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
Einführung in die mathematische Logik
Moderne Mathematik in elementarer Darstellung : 5 (Alle Bände)
4. Aufl, 1971
Signatur: TCK1427(4)
    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
Einführung in die Grundbegriffe und Probleme der modernen Logik
Studium universale
1962
Signatur: TCK1914-DT
    Datensatz exportieren als...
  • BibTeX
Mathematical logic : a first course
University mathematical series
1969
Signatur: TCK1702
    Datensatz exportieren als...
  • BibTeX
Einführung in die Logik : logische Propädeutik und formale Logik
Beck'sche Elementarbücher
1973
Signatur: TOB1111
    Datensatz exportieren als...
  • BibTeX
Mathematische Logik : ihre Grundprobleme in Theorie und Anwendung
Beck'sche schwarze Reihe : 79 (Alle Bände)
1972
Signatur: TCK1566
    Datensatz exportieren als...
  • BibTeX
Moderne Logik : Abriß der formalen Logik
7. Aufl., (Nachdr. d. 6., bearb. u. erw. Aufl.), 1973
Signatur: HLF1024(7)
    Datensatz exportieren als...
  • BibTeX
Einführung in die mathematische Logik : klassische Prädikatenlogik
Mathematische Leitfäden
2., durchges. und erw. Aufl, 1969
Signatur: TCK1419(2)
    Datensatz exportieren als...
  • BibTeX
Einführung in die mathematische Logik : klassische Prädikatenlogik
Mathematische Leitfäden
3., neubearb. u. erw. Aufl, 1972
Signatur: TCK1419(3)
    Datensatz exportieren als...
  • BibTeX
Formal methods : an introduction to symbolic logic and to the study of effective operations in arithmetic and logic
Synthese library : 4 (Alle Bände)
1962
Signatur: TCL1723
    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
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
An introduction to mathematical logic and type theory : to truth through proof
Computer science and applied mathematics
1. [Dr.], 1986
Signatur: TCL3571
    Datensatz exportieren als...
  • BibTeX
Einführung in die angewandte Logik
Sammlung Göschen : 2231 (Alle Bände)
1987
Signatur: HLF2494
1 – 25 von 202
Suche als RSS-Feed
Aktive Filter
Autor / AutorinCopi, Irving M
SpracheEnglisch
SchlagwortComputer science
Suchergebnisse filtern
Filter anzeigen