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
Collected papers
Contemporary mathematicians
Signatur: TAWT1051-...
    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
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
Undecidable theories
STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS.
3. pr, 1971
Signatur: TCL1171
    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
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
Cylindric algebras
Studies in logic and the foundations of mathematics : ...
1971-
Signatur: TCY1011-...
    Datensatz exportieren als...
  • BibTeX
Ordinal algebras
Studies in logic and the foundations of mathematics
1956
Signatur: TCS1273
    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
Cylindric set algebras
Lecture notes in mathematics : 883 (Alle Bände)
1981
Signatur: TCL3165
    Datensatz exportieren als...
  • BibTeX
Cardinal algebras
1949
Signatur: TCS2075
1 – 17 von 17
Suche als RSS-Feed
Aktive Filter
SpracheDeutsch
Suchergebnisse filtern
Filter anzeigen