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
Foundations of computing : system development with set theory and logic
International computer science series
1994
Signatur: TVA2348
    Datensatz exportieren als...
  • BibTeX
Sets, logic, and axiomatic theories
2. ed, 1974
Signatur: TCK1338(2)
    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
Notes on logic and set theory
Cambridge mathematical textbooks
1987
Signatur: TCK3241
    Datensatz exportieren als...
  • BibTeX
Lectures in logic and set theory
2003-
Signatur: TCK3500-...
    Datensatz exportieren als...
  • BibTeX
Handbook of mathematical logic
Studies in logic and the foundations of mathematics : 90 (Alle Bände)
8. impr., [Nachdr.], 1999
Signatur: TCK2889
    Datensatz exportieren als...
  • BibTeX
Lectures in logic and set theory. 2. Set theory
Lectures in logic and set theory (Alle Bände), Cambridge studies in advanced mathematics : 83 (Alle Bände)
2003
Signatur: TCK3500-2
    Datensatz exportieren als...
  • BibTeX
Lectures on mathematical logic. 1. Set theoretical logic - the algebra of models
Lectures on mathematical logic (Alle Bände)
2000
Signatur: TCK3453-1
    Datensatz exportieren als...
  • BibTeX
Handbook of mathematical logic
Studies in logic and the foundations of mathematics : 90 (Alle Bände)
7. impr, 1991
Signatur: TCK2889
    Datensatz exportieren als...
  • BibTeX
Elementare Logik und Mengenlehre. 1
Elementare Logik und Mengenlehre (Alle Bände), BI-Hochschultaschenbücher : 407 (Alle Bände)
1974
Signatur: TCK1922-1
    Datensatz exportieren als...
  • BibTeX
Fundamentals of contemporary set theory
Universitext
1979
Signatur: TCK3021
    Datensatz exportieren als...
  • BibTeX
A first journey through logic
Student mathematical library : 89 (Alle Bände)
[2019]
Signatur: TCK3580
    Datensatz exportieren als...
  • BibTeX
Mengenlehre und ihre Logik
Logik und Grundlagen der Mathematik : 10 (Alle Bände)
1973
Signatur: TCK3437
    Datensatz exportieren als...
  • BibTeX
Elementare Logik und Mengenlehre. 2
Elementare Logik und Mengenlehre (Alle Bände), BI-Hochschultaschenbücher : 408 (Alle Bände)
1978
Signatur: TCK1922-2
1 – 14 von 14
Suche als RSS-Feed
Aktive Filter
SchlagwortGrundlage
SchlagwortMengenlehre
Suchergebnisse filtern
Filter anzeigen