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
Mathematical recreations of Lewis Carroll
Signatur: TCK3330-...
    Datensatz exportieren als...
  • BibTeX
The combinatory programme
Progress in theoretical computer science : 15 (Alle Bände)
1995
Signatur: TVC1520
    Datensatz exportieren als...
  • BibTeX
Logic and foundations of mathematics : dedicated to Prof. A. Heyting on his 70th birthday
1968
Signatur: TCK2041
    Datensatz exportieren als...
  • BibTeX
Die Formenlehre oder Mathematik
Reprograf. Nachdr. der Ausg. Stettin 1872, 1966
Signatur: TCK2570
    Datensatz exportieren als...
  • BibTeX
Cours de logique mathématique. 2. Théorie des modèles
Cours de logique mathématique (Alle Bände), Collection de logique mathématique : Sér. A : 24 (Alle Bände)
2. éd., rev. et modifiée, 1972
Signatur: TCK1728(2)-FR,2
    Datensatz exportieren als...
  • BibTeX
Lectures in logic and set theory
2003-
Signatur: TCK3500-...
    Datensatz exportieren als...
  • BibTeX
THE LANGUAGE OF LOGIC. A PROGRAMED TEXT. MORTON L. SCHAGRIN. CONSULTING ED. V. C. CHAPPELL
1968
Signatur: TCK2651
    Datensatz exportieren als...
  • BibTeX
Logic Colloquium : symposium on logic held at Boston 1972 - 73
Lecture notes in mathematics : 453 (Alle Bände)
1975
Signatur: TCK2017
    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
Logic in elementary mathematics
1959
Signatur: TCK2813
    Datensatz exportieren als...
  • BibTeX
A course in mathematical logic
1977
Signatur: TCK2774
    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
Formale Logik : logische Systeme ; Einführung in die Metalogik ; ein Lehrbuch
1977
Signatur: TCK2897
    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
Fundamentals of contemporary set theory
Universitext
1979
Signatur: TCK3021
    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
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
Hilbert's program : an essay on mathematical instrumentalism
Synthese library : 182 (Alle Bände)
1986
Signatur: TCK3225
    Datensatz exportieren als...
  • BibTeX
Konstruktive Einführung in die formale Logik
1984
Signatur: TCK3233
    Datensatz exportieren als...
  • BibTeX
Foundations of constructive mathematics : metamathematical studies
Ergebnisse der Mathematik und ihrer Grenzgebiete : C,6 (Alle Bände)
1985
Signatur: TCK3194
    Datensatz exportieren als...
  • BibTeX
Einstieg in die mathematische Logik
1981
Signatur: TCK3144
1 – 25 von 195
Suche als RSS-Feed
Aktive Filter
SchlagwortAlgorithmus
SchlagwortLogik
Suchergebnisse filtern
Filter anzeigen