Items where Author is "Carl, M."

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

MPIM Preprint

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 Tue Dec 3 18:58:28 2024 CET.