An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof

Regular price $100.00 Sale

Publication Info

• Publisher: Kluwer Academic Publishers
• Edition: n/a
• Date Published: 2002
• Place Published: Dordrecht, The Netherlands
• ISBN: 1402007639

Details

• Condition: Very good
• Signed: No
• Dust Jacket: No
• Jacket Condition: n/a
• Details:
  Applied Logic Series 27. xviii, 389 p. 24 cm. B&w figures. Some light soiling to exterior.