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
Symbolic logic
5. ed, 1979
Signatur: TCK2732(5)
    Datensatz exportieren als...
  • BibTeX
Argument and inference : an introd. to symbolic logic
1979
Signatur: TCK2978
    Datensatz exportieren als...
  • BibTeX
Foundations of computing : system development with set theory and logic
International computer science series
1994
Signatur: TVA2348
    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
Grundzüge der mathematischen Logik
Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen : 106 (Alle Bände)
1961
Signatur: TCK1150
    Datensatz exportieren als...
  • BibTeX
Infinitary logic : in memoriam Carol Karp ; a collection of papers by various authors
Lecture notes in mathematics : 492 (Alle Bände)
1975
Signatur: TCK2376
    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
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
Mathematical logic
Addison-Wesley series in logic
1967
Signatur: TCK1346
    Datensatz exportieren als...
  • BibTeX
Mathematical logic : a first course
University mathematical series
1969
Signatur: TCK1702
    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
A profile of mathematical logic
Addison-Wesley series in mathematics
1970
Signatur: TCK2554
    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
Logic for mathematicians
2. ed, 1978
Signatur: TCK2986(2)
1 – 25 von 67
Suche als RSS-Feed
Aktive Filter
SystemstelleTVC
SchlagwortLogik
SchlagwortMathematische Logik
Suchergebnisse filtern
Filter anzeigen