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
Introduction to symbolic logic
3. ed., reprint, 1970
Signatur: TCK2596(3)
    Datensatz exportieren als...
  • BibTeX
A formal background to mathematics
Universitext
Signatur: TCK3013-...
    Datensatz exportieren als...
  • BibTeX
Introduction to logic
5. ed, 1978
Signatur: TCK2677(5)
    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
Fundamentals of logic
3. Ed, 1980
Signatur: TCK1388(3)
    Datensatz exportieren als...
  • BibTeX
Logic in elementary mathematics
1959
Signatur: TCK2813
    Datensatz exportieren als...
  • BibTeX
Logic: depth grammar of rationality : a textbook on the science and history of logic
1975
Signatur: TCK2716
    Datensatz exportieren als...
  • BibTeX
A course in mathematical logic
1977
Signatur: TCK2774
    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
A formal background to mathematics. 2,A-B. A CRITICAL APPROACH TO ELEMENTARY ANALYSIS. - 1980
A formal background to mathematics (Alle Bände)
Signatur: TCK3013-2,A-B
    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
First order logic
Ergebnisse der Mathematik und ihrer Grenzgebiete : B,43 (Alle Bände)
2. print, 1971
Signatur: TCK1477
    Datensatz exportieren als...
  • BibTeX
Elementare Logik : (Prädikatenlogik der 1. Stufe)
Moderne Mathematik in elementarer Darstellung : 9 (Alle Bände)
2., verb. Aufl, 1978
Signatur: TCK1079(2)
    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
Elementare Logik : Prädikatenlogik der ersten Stufe
Moderne Mathematik in elementarer Darstellung : 9 (Alle Bände)
1969
Signatur: TCK1079
    Datensatz exportieren als...
  • BibTeX
Foundations of logic and mathematics
INTERNATIONAL ENCYCLOPEDIA OF UNIFIED SCIENCE : 3 (Alle Bände)
15. IMPR, 1977
Signatur: TCK2847
    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
The logical and set theoretical foundations of mathematics
A modern introduction to pure mathematics : 1 (Alle Bände)
1969
Signatur: TCK2300
    Datensatz exportieren als...
  • BibTeX
Principia mathematica. 1
Principia mathematica (Alle Bände)
2. ed., repr. [d. Ausg.] 1927, 1973
Signatur: TCK1223(2)-1
    Datensatz exportieren als...
  • BibTeX
Principia mathematica. 3
Principia mathematica (Alle Bände)
2. ed., repr. [d. Ausg.] 1927, 1973
Signatur: TCK1223(2)-3
    Datensatz exportieren als...
  • BibTeX
Principia mathematica. 2
Principia mathematica (Alle Bände)
2. ed., repr. [d. Ausg.] 1927, 1973
Signatur: TCK1223(2)-2
    Datensatz exportieren als...
  • BibTeX
Logique à trois valeurs, logique à seuil
Collection de mathématiques économiques : 5 (Alle Bände)
1968
Signatur: TCK1891
    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
1 – 25 von 196
Suche als RSS-Feed
Aktive Filter
SystemstelleTVC
SchlagwortLogik
Suchergebnisse filtern
Filter anzeigen