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
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
THE LANGUAGE OF LOGIC. A PROGRAMED TEXT. MORTON L. SCHAGRIN. CONSULTING ED. V. C. CHAPPELL
1968
Signatur: TCK2651
    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
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
Ein argumentativer Weg zur Logik
1982
Signatur: TCK3178
    Datensatz exportieren als...
  • BibTeX
Konstruktive Einführung in die formale Logik
1984
Signatur: TCK3233
    Datensatz exportieren als...
  • BibTeX
Grundzüge der Logik
Suhrkamp-Taschenbuch Wissenschaft : 65 (Alle Bände)
3. Aufl, 1981
Signatur: TCK3047(3)
    Datensatz exportieren als...
  • BibTeX
Einstieg in die mathematische Logik
1981
Signatur: TCK3144
    Datensatz exportieren als...
  • BibTeX
Grundgesetze der Arithmetik : begriffsgeschichtlich abgeleitet
Reprograf. Nachdr. d. zweibd. Ausg. Jena 1893 - 1903, 1962
Signatur: TCK2465-1/2
    Datensatz exportieren als...
  • BibTeX
Über mehrwertige Logik : ein Abriß
Logik und Grundlagen der Mathematik : 2 (Alle Bände)
2. Aufl, 1970
Signatur: TCK1435(2)
    Datensatz exportieren als...
  • BibTeX
Mathematische Gesetze der Logik
Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen : ...
1960-
Signatur: TCK1053-...
    Datensatz exportieren als...
  • BibTeX
Mathematische Gesetze der Logik. 1. Vorlesungen über Aussagenlogik
Mathematische Gesetze der Logik (Alle Bände), Die Grundlagen der mathematischen Wissenschaften in Einzeldarstellungen : 69 (Alle Bände)
1960
Signatur: TCK1053-1
    Datensatz exportieren als...
  • BibTeX
Grundlagen der Mathematik. 1
Grundlagen der Mathematik (Alle Bände), Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen : 40 (Alle Bände)
2. Aufl, 1968
Signatur: TCK1401(2)-1
    Datensatz exportieren als...
  • BibTeX
Grundlagen der Mathematik. 2
Grundlagen der Mathematik (Alle Bände), Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen : 50 (Alle Bände)
2. Aufl, 1970
Signatur: TCK1401(2)-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
COMPRENDRE LA LOGIQUE MODERNE. 1. CLASSES, PROPOSITIONS ET PREDICATS. (LOGIQUE...9.)
COMPRENDRE LA LOGIQUE MODERNE (Alle Bände)
Signatur: TCK1710-1
    Datensatz exportieren als...
  • BibTeX
COMPRENDRE LA LOGIQUE MODERNE. 2. LOGIQUES NON CLASSIQUES,RELATIONS ET STRUCTURES. (LOGIQUE...10.)
COMPRENDRE LA LOGIQUE MODERNE (Alle Bände)
Signatur: TCK1710-2
    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
Elementare Logik : Prädikatenlogik der ersten Stufe
Moderne Mathematik in elementarer Darstellung : 9 (Alle Bände)
1969
Signatur: TCK1079
1 – 25 von 129
Suche als RSS-Feed
Aktive Filter
Autor / AutorinCarroll, Lewis
SpracheEnglisch
Suchergebnisse filtern
Filter anzeigen