Iterations of Satisfaction Classes and Models of Peano Arithmetic

Roman Murawski. Iterations of Satisfaction Classes and Models of Peano Arithmetic. Math. Log. Q., 38(1):59-84, 1992. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.