Delivery included to the United States

Theorem Proving in Higher Order Logics

Theorem Proving in Higher Order Logics - Lecture Notes in Computer Science

2000

Paperback (27 Jul 2000)

Save $4.91

  • RRP $62.44
  • $57.53
Add to basket

Includes delivery to the United States

10+ copies available online - Usually dispatched within 7 days

Publisher's Synopsis

Book information

ISBN: 9783540678632
Publisher: Springer Berlin Heidelberg
Imprint: Springer
Pub date:
Edition: 2000
DEWEY: 004.015113
DEWEY edition: 21
Language: English
Number of pages: 553
Weight: 765g
Height: 233mm
Width: 155mm
Spine width: 28mm