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 logic and to the methodology of the deductive sciences
Oxford logic guides : 24 (Alle Bände)
4. ed.: ed. by Jan Tarski, 1994
Signatur: TCK1427(4)-EN
    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
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
Ordinal algebras [electronic resource]
    Datensatz exportieren als...
  • BibTeX
Einführung in die Mathematische Logik : Und in die Methodologie der Mathematik
1st ed. 1937, 1937
    Datensatz exportieren als...
  • BibTeX
Einführung in die Mathematische Logik : Und in die Methodologie der Mathematik [electronic resource]
1st ed. 1937, 1937
    Datensatz exportieren als...
  • BibTeX
Undecidable theories [electronic resource]
    Datensatz exportieren als...
  • BibTeX
Logic, semantics, metamathematics : papers from 1923 to 1938
Repr, 1969
Signatur: TVD1062
    Datensatz exportieren als...
  • BibTeX
Undecidable theories
Studies in logic and the foundations of mathematics
3. print, 1971
Signatur: M19218
    Datensatz exportieren als...
  • BibTeX
Cardinal algebras
1949
Signatur: TCS2075
    Datensatz exportieren als...
  • BibTeX
Ordinal algebras
Studies in logic and the foundations of mathematics
1956
Signatur: TCS1273
    Datensatz exportieren als...
  • BibTeX
Proceedings of the Tarski Symposium : an international symposium held to honor Alfred Tarski on the occasion of his seventieth birthday ; [held at the University of California, Berkeley, June 23 - 30, 1971
Proceedings of symposia in pure mathematics : 25 (Alle Bände)
1974
Signatur: TBR1622-25
    Datensatz exportieren als...
  • BibTeX
Collected papers
Contemporary mathematicians
Signatur: TAWT1051-...
    Datensatz exportieren als...
  • BibTeX
A formalization of set theory without variables
Colloquium publications / American Mathematical Society : 41 (Alle Bände)
1987
Signatur: TCK3259
    Datensatz exportieren als...
  • BibTeX
Collected papers. 1. 1921 - 1934
Collected papers (Alle Bände)
1986
Signatur: TAWT1051-1
    Datensatz exportieren als...
  • BibTeX
Collected papers. 2. 1935 - 1944
Collected papers (Alle Bände)
1986
Signatur: TAWT1051-2
    Datensatz exportieren als...
  • BibTeX
Collected papers. 3. 1945 - 1957
Collected papers (Alle Bände)
1986
Signatur: TAWT1051-3
    Datensatz exportieren als...
  • BibTeX
Collected papers. 4. 1958 - 1979
Collected papers (Alle Bände)
1986
Signatur: TAWT1051-4
    Datensatz exportieren als...
  • BibTeX
Metamathematische Methoden in der Geometrie
Hochschultext
1983
Signatur: TGD1410
    Datensatz exportieren als...
  • BibTeX
Undecidable theories
STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS.
3. pr, 1971
Signatur: TCL1171
    Datensatz exportieren als...
  • BibTeX
Cylindric algebras. 1
Cylindric algebras (Alle Bände), Studies in logic and the foundations of mathematics : 64 (Alle Bände)
1971
Signatur: TCY1011-1
    Datensatz exportieren als...
  • BibTeX
Cylindric algebras. 2
Cylindric algebras (Alle Bände), ... : 115 (Alle Bände)
1985
Signatur: TCY1011-2
    Datensatz exportieren als...
  • BibTeX
Cylindric algebras
Studies in logic and the foundations of mathematics : ...
1971-
Signatur: TCY1011-...
    Datensatz exportieren als...
  • BibTeX
The axiomatic method : with special references to geometry and physics [electronic resource]
    Datensatz exportieren als...
  • BibTeX
Logic, methodology and philosophy of science : proceedings of the 1960 international congress [electronic resource]
1 – 25 von 29
Suche als RSS-Feed
Suchergebnisse filtern
Filter anzeigen