Items where Author is "Carl, M."
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).