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
Fuzzy sets and their applications to cognitive and decision processes : proceedings of the US Japan Seminar on Fuzzy Sets and Their Applications, held at the University of California, Berkeley, California, July 1 - 4, 1974
Academic Press rapid manuscript reproduction
1975
Signatur: TCL1846
    Datensatz exportieren als...
  • BibTeX
Admissible sets and structures : an approach to definability theory
Perspectives in mathematical logic
1975
Signatur: TCL2282
    Datensatz exportieren als...
  • BibTeX
Boolean valued models and independence proofs in set theory
Oxford logic guides : 4 (Alle Bände)
1977
Signatur: TCL2915
    Datensatz exportieren als...
  • BibTeX
An introduction to independence for analysts
London Mathematical Society lecture note series : 115 (Alle Bände)
1987
Signatur: TCL3597
    Datensatz exportieren als...
  • BibTeX
Elements of logic and foundations of mathematics in problems
1982
Signatur: TCL3254
    Datensatz exportieren als...
  • BibTeX
Computable set theory. 1
Computable set theory (Alle Bände), The international series of monographs on computer science : 6 (Alle Bände)
1989
Signatur: TCL3791-1
    Datensatz exportieren als...
  • BibTeX
Set theory, logic and their limitations
1996
Signatur: TCL4438
    Datensatz exportieren als...
  • BibTeX
Topics in set theory : Lebesgue measurability, large cardinals, forcing axioms, rho functions
Lecture notes in mathematics : 1476 (Alle Bände)
1991
Signatur: TCL3864
1 – 8 von 8
Suche als RSS-Feed
Aktive Filter
SchlagwortAutomatisches Beweisverfahren
SchlagwortMengenlehre
Suchergebnisse filtern
Filter anzeigen