Placeholder text
Proof Theory and Automated Deduction (Applied Logic Series, Band 6)
0 - Default Title
Product details
Edition:
1
Number of Pages:
444
Release Date:
1997-06-01
Publication Date:
1997-06-01
Publisher:
Springer
Languages:
Published:
English,
Original:
English
ISBN10:
0792345932
Weight:
839 g
Currently sold out