Publications

Export 122 results:
Filters: Type is Journal Article  [Clear All Filters]
2005
Alberucci, L., Jäger, G.: About cut elimination for logics of common knowledge. Annals of Pure and Applied Logic. 133, 73-99 (2005).
Ostrin, G.E., Wainer, S.S.: Elementary Arithmetic. Annals of Pure and Applied Logic. 133, 275-292 (2005).

Pages