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
Fundamentals of contemporary set theory
Universitext
1979
Signatur: TCK3021
    Datensatz exportieren als...
  • BibTeX
A formal background to mathematics. 1. Logic, sets and numbers, A
A formal background to mathematics (Alle Bände)
1979
Signatur: TCK3013-1,A
    Datensatz exportieren als...
  • BibTeX
A formal background to mathematics. 1. Logic, sets and numbers, B
A formal background to mathematics (Alle Bände)
1979
Signatur: TCK3013-1,B
1 – 12 von 12
Suche als RSS-Feed
Aktive Filter
SchlagwortLogik
SchlagwortMengenlehre
Suchergebnisse filtern
Filter anzeigen