Verallgemeinerungen des Herbrand'schen Satzes und Anwendungen im Gebiet der Entscheidbarkeit von Formelklassen
Closed access
Author
Date
1977Type
- Doctoral Thesis
ETH Bibliography
yes
Altmetrics
Permanent link
https://doi.org/10.3929/ethz-a-000131271Publication status
publishedExternal links
Search print copy at ETH Library
Publisher
ETH ZürichSubject
PRÄDIKATENLOGIK (MATHEMATISCHE LOGIK); ENTSCHEIDUNGSPROBLEME (MATHEMATISCHE LOGIK); HERBRANDSCHER SATZ (MATHEMATISCHE LOGIK); PREDICATE LOGIC (MATHEMATICAL LOGIC); DECISION PROBLEMS (MATHEMATICAL LOGIC); HERBRAND THEOREM (MATHEMATICAL LOGIC)Notes
Diss. Math. ETH Zürich, Nr. 6070, 0000. Ref.: Specker, E. ; Korref.: Läuchli, H..More
Show all metadata
ETH Bibliography
yes
Altmetrics