Back

Simple Type Theory : A Practical Logic for Expressing and Reasoning about Mathematical Ideas (Computer Science Foundations and Applied Logic) (2ND)

Farmer, William M.
119.00 SGD
Member Price
107.10
English
Publisher
Birkhauser Verlag AG
Publication Date
Apr 2026
ISBN
9783031853548
Pages
319 p.
Item Type
Book
Format
Paperback

Unavailable

This product is currently out of stock. Please check back later.

Discount is applied at checkout.

Recently Viewed Items

Related Products