1.
2.
Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science)
by A. S. Troelstra, H. Schwich...
ISBN: 9780521572231
List Price: $60.99
3.
Proof and Computation (NATO ASI Series / Computer and Systems Sciences)
by Schwichtenberg, H.
ISBN: 9783540585817
List Price: $112.00
OUT OF STOCK
See Availability on Amazon4.
Logic and Algebra of Specification
by Bauer, F. L., Brauer, W., S...
ISBN: 9780387558134
List Price: $155.00
5.
Proof Technology and Computation, Volume 200 NATO Science Series: Computer and Systems Sciences
by K. Spies and H. Schwichtenb...
ISBN: 9781586036256
List Price: $200.00
6.
Logic and Algebra of Specification: Proceedings of the NATO Advanced Study Institute on Logi...
by Bauer, F.L., Brauer, W., Sc...
ISBN: 9783540558132
List Price: $159.00