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 Sun May 12 12:48:23 2024 CEST.