Showing 1 - 7 of 7 Results
1.
Basic Proof Theory by Troelstra, Anne S., Schwich... ISBN: 9780521779111 List Price: $46.00
2.
Proof and Computation (NATO ASI Series / Computer and Systems Sciences) by Schwichtenberg, H. ISBN: 9783540585817 List Price: $112.00
3.
Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science) by A. S. Troelstra, H. Schwich... ISBN: 9780521572231 List Price: $60.99
4.
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
7.
Basic Proof Theory by Troelstra, A. S., Schwichte... ISBN: 9781316044537