Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
0902.3749
Cited By
v1
v2
v3 (latest)
Hilbert's epsilon as an Operator of Indefinite Committed Choice
Journal of Applied Logic (J. Appl. Log.), 2008
21 February 2009
Claus-Peter Wirth
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Hilbert's epsilon as an Operator of Indefinite Committed Choice"
4 / 4 papers shown
A Simplified and Improved Free-Variable Framework for Hilbert's epsilon as an Operator of Indefinite Committed Choice
Claus-Peter Wirth
364
6
0
13 Apr 2011
Lectures on Jacques Herbrand as a Logician
Claus-Peter Wirth
J. Siekmann
Christoph Benzmüller
S. Autexier
397
4
0
26 Feb 2009
lim+, delta+, and Non-Permutability of beta-Steps
Claus-Peter Wirth
LRM
126
4
0
20 Feb 2009
Progress in Computer-Assisted Inductive Theorem Proving by Human-Orientedness and Descente Infinie?
Claus-Peter Wirth
208
4
0
17 Feb 2009
1
Page 1 of 1
