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
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
Algebraic logic
[Chelsea scientific books : 154 (Alle Bände)
1962
Signatur: TCZ1139
    Datensatz exportieren als...
  • BibTeX
Einführung in die Grundbegriffe und Probleme der modernen Logik
Studium universale
1962
Signatur: TCK1914-DT
    Datensatz exportieren als...
  • BibTeX
A profile of mathematical logic
Addison-Wesley series in mathematics
1970
Signatur: TCK2554
    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
Algebraic methods of mathematical logic
1967
Signatur: TCL1082
    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
Mathematical logic
Addison-Wesley series in logic
1967
Signatur: TCK1346
    Datensatz exportieren als...
  • BibTeX
Mathematical logic : with special reference to the natural numbers
1972
Signatur: TCK1689, TCK2164
    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
Formal logic
2. ed., reprint. with corr, 1973
Signatur: TCK2520(2)
    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
Introduction to mathematical logic
1973
Signatur: TCK1833
    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
Symbolic logic
1977
Signatur: TCL2931
    Datensatz exportieren als...
  • BibTeX
From mathematics to philosophy
INTERNATIONAL LIBRARY OF PHILOSOPHY AND SCIENTIFIC METHOD
1974
Signatur: TBP2458
    Datensatz exportieren als...
  • BibTeX
Logic for mathematicians
2. ed, 1978
Signatur: TCK2986(2)
    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
26 – 50 von 396
Suche als RSS-Feed
Aktive Filter
SchlagwortAlgebra
SchlagwortComputer science
Suchergebnisse filtern
Filter anzeigen