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
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
    Datensatz exportieren als...
  • BibTeX
Konstruktive Einführung in die formale Logik
1984
Signatur: TCK3233
    Datensatz exportieren als...
  • BibTeX
Methods in mathematical logic : proceedings of the 6th Latin American Symposium on Math. Logic held in Caracas, Venezuela, August 1 - 6, 1983
Lecture notes in mathematics : 1130 (Alle Bände)
1985
Signatur: TAY830533
    Datensatz exportieren als...
  • BibTeX
Mathematical logic in Latin America : proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978
Studies in logic and the foundations of mathematics : 99 (Alle Bände)
1980
Signatur: TAY2441
    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
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
Conference in Mathematical Logic : London '70
Lecture notes in mathematics : 255 (Alle Bände)
1972
Signatur: TCK1176
    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
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
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
Zweiwertige und mehrwertige Logik : ein Beitrag zur Geschichte und Einheit der Logik
Analytica : 1 (Alle Bände)
1973
Signatur: HLF1016
    Datensatz exportieren als...
  • BibTeX
Contributions to mathematical logic : proceedings of the Logic Colloquium, Hannover 1966
Studies in logic and the foundations of mathematics
1968
Signatur: TCK1744
    Datensatz exportieren als...
  • BibTeX
Mathematical logic and formalized theories : a survey of basic concepts and results
1971
Signatur: TCK1304
    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
Mathematical logic
Addison-Wesley series in logic
1967
Signatur: TCK1346
    Datensatz exportieren als...
  • BibTeX
Algebraic methods of mathematical logic
1967
Signatur: TCL1082
1 – 25 von 330
Suche als RSS-Feed
Aktive Filter
SystemstelleTVD
SchlagwortComputer science
SchlagwortLogik
Suchergebnisse filtern
Filter anzeigen