1.
Proof Theory and Automated Deduction
by Goubault-Larrecq, Jean, Mac...
ISBN: 9781402003684
List Price: $109.00
2.
Proof Theory and Automated Deduction
by Goubault-Larrecq, Jean, Mac...
ISBN: 9780792345930
List Price: $240.00
OUT OF STOCK
See Availability on Amazon3.
Foundations of Software Science and Computation Structures : 23rd International Conference, ...
by Goubault-Larrecq, Jean, K�n...
ISBN: 9783030452308
List Price: $49.99
4.
Foundations of Software Science and Computation Structures
by Goubault-larrecq, Jean, K?n...
ISBN: 9781013277313
OUT OF STOCK
See Availability on Amazon5.
Foundations of Software Science and Computation Structures
by Goubault-larrecq, Jean, K?n...
ISBN: 9781013277306