A Simplified and Improved Free-Variable Framework for Hilbert’s epsilon as an Operator of Indefinite Committed Choice

Thumbnail
Metadata only
Author
Wirth, Claus-Peter
Date
2017-03
Type
    Journal Article
Publication status
published
Journal / series
The IfCoLog Journal of Logics and their Applications
Volume
4(2)
Pages / Article No.
435 - 526
Publisher
College Publications
Subject
Logical foundations; Theories of truth and validity; Formalized mathematics; Human-oriented interactive theorem proving; Automated theorem proving; Choice; Hilbert's epsilon-operator; Henkin quantification; Fermat's descente infinie
Organisational unit
03874 - Hungerbühler, Norbert / Hungerbühler, Norbert  
Notes
Special Issue: Hilbert's epsilon and tau in Logic, Informatics and Linguistics
More
Show all metadata
ETH Bibliography
yes
Altmetrics