Delivery included to the United States

Proof Assistants and Their Applications in Mathematics and Computer Science

Proof Assistants and Their Applications in Mathematics and Computer Science - Computer Science Foundations and Applied Logic

Hardback (01 Jul 2025)

Not available for sale

Out of stock

This service is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.

Publisher's Synopsis

Book information

ISBN: 9783031851896
Publisher: Springer Nature Switzerland
Imprint: Springer
Pub date:
DEWEY: 511.3
DEWEY edition: 23
Language: English
Number of pages: 390
Weight: -1g
Height: 235mm
Width: 155mm