Relating Z and first-order logic

Relating Z and first-order logic

Show other versions (2)

Despite being widely regarded as a gloss on first-order logic and set theory, Z has not been found to be very supportive of proof. This paper attempts to distinguish between the different philosophies of proof in Z. It discusses some of the issues which must be addressed in creating a proof technolo...

Full description

Bibliographic Details
Main Author:	Martin, A
Format:	Journal article
Language:	English
Published:	2000

Relating Z and First−order logic

Relating Z and First−order logic by Martin, A

Published 2000

Journal article

Relating Z and first−order logic

Relating Z and first−order logic by Martin, A

Published 1999

Conference item