cancelpublished Some new proofs of Shepherdson’s theorem

status will change from published to submitted

validating...