Show simple item record

dc.contributor.author
Barro, François Marc
dc.contributor.supervisor
Läuchli, Hans
dc.contributor.supervisor
Specker, Ernst P.
dc.date.accessioned
2017-06-12T23:01:50Z
dc.date.available
2017-06-12T23:01:50Z
dc.date.issued
1977
dc.identifier.uri
http://hdl.handle.net/20.500.11850/135978
dc.identifier.doi
10.3929/ethz-a-000131271
dc.language.iso
de
dc.publisher
ETH Zürich
dc.rights.uri
http://rightsstatements.org/page/InC-NC/1.0/
dc.subject
PRÄDIKATENLOGIK (MATHEMATISCHE LOGIK)
dc.subject
ENTSCHEIDUNGSPROBLEME (MATHEMATISCHE LOGIK)
dc.subject
HERBRANDSCHER SATZ (MATHEMATISCHE LOGIK)
dc.subject
PREDICATE LOGIC (MATHEMATICAL LOGIC)
dc.subject
DECISION PROBLEMS (MATHEMATICAL LOGIC)
dc.subject
HERBRAND THEOREM (MATHEMATICAL LOGIC)
dc.title
Verallgemeinerungen des Herbrand'schen Satzes und Anwendungen im Gebiet der Entscheidbarkeit von Formelklassen
dc.type
Doctoral Thesis
dc.rights.license
In Copyright - Non-Commercial Use Permitted
ethz.size
56 S.
ethz.code.ddc
5 - Science::510 - Mathematics
ethz.notes
Diss. Math. ETH Zürich, Nr. 6070, 0000. Ref.: Specker, E. ; Korref.: Läuchli, H..
ethz.identifier.diss
6070
ethz.identifier.nebis
000131271
ethz.publication.place
Zürich
ethz.publication.status
published
ethz.date.deposited
2017-06-12T23:02:10Z
ethz.source
ECOL
ethz.identifier.importid
imp5936697df337134015
ethz.ecolpid
eth:34519
ethz.eth
yes
ethz.availability
Closed access
ethz.rosetta.installDate
2017-07-25T11:21:35Z
ethz.rosetta.lastUpdated
2018-11-03T09:57:25Z
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Verallgemeinerungen%20des%20Herbrand'schen%20Satzes%20und%20Anwendungen%20im%20Gebiet%20der%20Entscheidbarkeit%20von%20Formelklassen&rft.date=1977&rft.au=Barro,%20Fran%C3%A7ois%20Marc&rft.genre=unknown&rft.btitle=Verallgemeinerungen%20des%20Herbrand'schen%20Satzes%20und%20Anwendungen%20im%20Gebiet%20der%20Entscheidbarkeit%20von%20Formelklassen
 Search via SFX

Files in this item

Thumbnail
Thumbnail

Publication type

Show simple item record