Show simple item record

dc.contributor.author
Wirth, Claus-Peter
dc.date.accessioned
2018-02-07T09:57:17Z
dc.date.available
2018-01-05T15:31:16Z
dc.date.available
2018-02-07T09:57:17Z
dc.date.issued
2017-03
dc.identifier.issn
2055-3706
dc.identifier.issn
2055-3714
dc.identifier.uri
http://hdl.handle.net/20.500.11850/226107
dc.language.iso
en
en_US
dc.publisher
College Publications
en_US
dc.subject
Logical foundations
en_US
dc.subject
Theories of truth and validity
en_US
dc.subject
Formalized mathematics
en_US
dc.subject
Human-oriented interactive theorem proving
en_US
dc.subject
Automated theorem proving
en_US
dc.subject
Choice
en_US
dc.subject
Hilbert's epsilon-operator
en_US
dc.subject
Henkin quantification
en_US
dc.subject
Fermat's descente infinie
en_US
dc.title
A Simplified and Improved Free-Variable Framework for Hilbert’s epsilon as an Operator of Indefinite Committed Choice
en_US
dc.type
Journal Article
ethz.journal.title
The IfCoLog Journal of Logics and their Applications
ethz.journal.volume
4
en_US
ethz.journal.issue
2
en_US
ethz.pages.start
435
en_US
ethz.pages.end
526
en_US
ethz.notes
Special Issue: Hilbert's epsilon and tau in Logic, Informatics and Linguistics
en_US
ethz.publication.place
London
en_US
ethz.publication.status
published
en_US
ethz.leitzahl
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02000 - Dep. Mathematik / Dep. of Mathematics::02003 - Mathematik Selbständige Professuren::03874 - Hungerbühler, Norbert / Hungerbühler, Norbert
en_US
ethz.leitzahl.certified
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02000 - Dep. Mathematik / Dep. of Mathematics::02003 - Mathematik Selbständige Professuren::03874 - Hungerbühler, Norbert / Hungerbühler, Norbert
en_US
ethz.date.deposited
2018-01-05T15:31:17Z
ethz.source
FORM
ethz.eth
yes
en_US
ethz.availability
Metadata only
en_US
ethz.rosetta.installDate
2018-02-07T09:57:21Z
ethz.rosetta.lastUpdated
2018-02-07T09:57:21Z
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=A%20Simplified%20and%20Improved%20Free-Variable%20Framework%20for%20Hilbert%E2%80%99s%20epsilon%20as%20an%20Operator%20of%20Indefinite%20Committed%20Choice&rft.jtitle=The%20IfCoLog%20Journal%20of%20Logics%20and%20their%20Applications&rft.date=2017-03&rft.volume=4&rft.issue=2&rft.spage=435&rft.epage=526&rft.issn=2055-3706&2055-3714&rft.au=Wirth,%20Claus-Peter&rft.genre=article&
 Search via SFX

Files in this item

FilesSizeFormatOpen in viewer

There are no files associated with this item.

Publication type

Show simple item record