A survey of computable set theory

This paper surveys various decidability results in the set theory. In the first part, we focus on certain classes of unquantified set-theoretic formulae involving the relations ∊ "membership", = "equality", and the operators ⋂ "intersection", ⋃ "binary union", \ "set difference", ⋅ "singleto... Ausführliche Beschreibung

1. Person: Domenico Cantone verfasserin
Quelle: In Le Matematiche (01.11.1988)
Weitere Artikel
Format: Online-Artikel
Sprache: English
French
Italian
Veröffentlicht: 1988
Beschreibung: Online-Ressource
Online Zugang: Online
Online
Online
Online
Volltext
Tags: Hinzufügen
Keine Tags. Fügen Sie den ersten Tag hinzu!
  Creative Commons License Source: Directory of Open Access Journals (DOAJ).

Online

Online
Falls Sie Probleme beim Volltextzugriff haben, prüfen Sie bitte auch den 'Find Text'-Button oder fragen Sie uns!
Online
Falls Sie Probleme beim Volltextzugriff haben, prüfen Sie bitte auch den 'Find Text'-Button oder fragen Sie uns!
Online
Falls Sie Probleme beim Volltextzugriff haben, prüfen Sie bitte auch den 'Find Text'-Button oder fragen Sie uns!
Online
Falls Sie Probleme beim Volltextzugriff haben, prüfen Sie bitte auch den 'Find Text'-Button oder fragen Sie uns!

Bibliothek

SOZ c 730: 14
Sie finden den Titel im gelb markierten Bereich:
another square another square another square another square another square another square another square another square another square another square another square another square another square another square another square another square another square another square another square another square another square

Ähnliche Einträge

Keine ähnlichen Titel gefunden

Privacy Notice Ask a Librarian New Acquisitions