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
Formale Logik : logische Systeme ; Einführung in die Metalogik ; ein Lehrbuch
1977
Signatur: TCK2897
    Datensatz exportieren als...
  • BibTeX
Introduction to logic
4. ed, 1972
Signatur: TCK2677(4)
    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
Elementare Logik und Mengenlehre. 1
Elementare Logik und Mengenlehre (Alle Bände), BI-Hochschultaschenbücher : 407 (Alle Bände)
1974
Signatur: TCK1922-1
    Datensatz exportieren als...
  • BibTeX
Elementare Logik und Mengenlehre. 2
Elementare Logik und Mengenlehre (Alle Bände), BI-Hochschultaschenbücher : 408 (Alle Bände)
1978
Signatur: TCK1922-2
    Datensatz exportieren als...
  • BibTeX
Mathematical logic : an introduction to model theory
Mathematical concepts and methods in science and engineering : 9 (Alle Bände)
1978
Signatur: TCK2871
    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
A formal background to mathematics. 1. Logic, sets and numbers, A
A formal background to mathematics (Alle Bände)
1979
Signatur: TCK3013-1,A
    Datensatz exportieren als...
  • BibTeX
A formal background to mathematics. 1. Logic, sets and numbers, B
A formal background to mathematics (Alle Bände)
1979
Signatur: TCK3013-1,B
    Datensatz exportieren als...
  • BibTeX
The logical foundations of mathematics
FOUNDATIONS AND PHILOSOPHY OF SCIENCE AND TECHNOLOGY SERIES
1982
Signatur: TCK3152
    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
Logik und Grundlagen der Mathematik : 14 (Alle Bände)
1973
Signatur: TCK1443
    Datensatz exportieren als...
  • BibTeX
Einführung in die operative Logik und Mathematik
Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen : 78 (Alle Bände)
2. Aufl, 1969
Signatur: TCK1126(2)
    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)
5. Aufl., erw. um den Beitr. "Wahrheit und Beweis": von Rainer Stuhlmann-Laeisz übers, 1977
Signatur: TCK1427(5)
    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
Recursive function theory and logic
Computer science and applied mathematics
1971
Signatur: TCK1859
    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)
1 – 25 von 83
Suche als RSS-Feed
Aktive Filter
SystemstelleHKB
SchlagwortMathematische Logik
Suchergebnisse filtern
Filter anzeigen