Skip to content
Home/ Types for Proofs and Programs: International Workshop, Types '95, Torino, Italy, June 5 - 8, 1995 Se
Types for Proofs and Programs: International Workshop, Types '95, Torino, Italy, June 5 - 8, 1995 Se

Types for Proofs and Programs: International Workshop, Types '95, Torino, Italy, June 5 - 8, 1995 Se

No customer reviews yet ISBN 9783540617808 Springer

About the author

Product details

BrandSpringer
Pub dateOct 2, 1996
ISBN-103540617809
ISBN-139783540617808
LanguageEnglish
Dimensions9.25 × 0.71 × 6.1 in
Weight2 lb
Last updated 2026-09-06 19:18
$57.47
In stock — ships in 24 hours with free tracking
Delivery by Monday, September 14, 2026
Qty
Sign in to Add to Saved list
Free delivery on orders over $35.
15-day returns. Any reason.
Secure checkout. We never store card details.

Readers who bought this also bought

More from Logic
See all
Schaum's Easy Outline Logic: Based on Schaum's Outline of Theory and Problems of Logic
Nolt, John
$9.61
Symbolic Logic and Mechanical Theorem Proving
Chang, Chin-Liang
$84.56
Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science (Revised)
Davis, Martin
$84.56
Fuzzy Sets and Systems: Theory and Applications
DuBois, Didier J
$84.56
Elements of Set Theory
Enderton, Herbert B
$84.56
Mathematical Introduction to Logic (Revised)
Enderton, Herbert B
$184.21