1.
Self-Reference and Modal Logic (Universitext)
by Smorynski, C.
ISBN: 9780387962092
List Price: $71.95
2.
Logical Number Theory I: An Introduction (Universitext) (Vol 1)
by Smorynski, C.
ISBN: 9783540522362
List Price: $69.95