Items where Author is "Carl, M."

[up] Up a level
Group by: Item Type | No Grouping
Number of items: 2.

Carl, M. and Moroz, B. Z. (2007) On a Diophantine representation of the predicate of provability. MPIM Preprint Series 2007 (132).

Carl, M. and Moroz, B. Z. (2006) On a diophantine representation of the predicate of provability. MPIM Preprint Series 2006 (129).

This list was generated on Mon Mar 3 21:55:42 2025 CET.