Application of formative processes to the decision problem in set theory

As part of a project aimed at the implementation of a proof-checker based on  the set-theoretic formalism, the decision problem in set theory has been studied very intensively, starting in the late seventies.... Ausführliche Beschreibung

1. Person: Domenico Cantone verfasserin
Weitere Personen: Pietro Ursino verfasserin
Quelle: In Le Matematiche (01.11.2004)
Weitere Artikel
Format: Online-Artikel
Sprache: English
French
Italian
Veröffentlicht: 2004
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