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
374
6
0
13 Apr 2011
Lectures on Jacques Herbrand as a Logician
Claus-Peter Wirth
J. Siekmann
Christoph Benzmüller
S. Autexier
410
4
0
26 Feb 2009
lim+, delta+, and Non-Permutability of beta-Steps
Claus-Peter Wirth
LRM
130
4
0
20 Feb 2009
Progress in Computer-Assisted Inductive Theorem Proving by Human-Orientedness and Descente Infinie?
Claus-Peter Wirth
212
4
0
17 Feb 2009
1
Page 1 of 1
