On the proof theory of the existence predicate

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

Original language	Undefined/Unknown
Title of host publication	We will show them! Essays in honour of Dov Gabbay
Editors	S Artemov, H Barringer, A Garcez, L Lamb, J Woods
Place of Publication	London
Publisher	King's College Publications
Publication status	Published - 2005

Cite this

@inproceedings{7437947f3b374402a319a8f91ea50191,

title = "On the proof theory of the existence predicate",

author = "R. Iemhoff and M. Baaz",

year = "2005",

language = "Undefined/Unknown",

editor = "S Artemov and H Barringer and A Garcez and L Lamb and J Woods",

booktitle = "We will show them! Essays in honour of Dov Gabbay",

publisher = "King's College Publications",

}