Skip to main content

Relating Z and First−order logic

A. P. Martin

Journal
Formal Aspects of Computing
Pages
199–209
Volume
12
Year
2000