Simple Type Theory

Name: Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical
Brand: Birkhauser
SKU: 9783031853517
Price: 4150.00 INR
Availability: InStock

A Practical Logic for Expressing and Reasoning About Mathematical

by William Farmer

Birkhauser · 2025

₹4,150

Free delivery. Nothing extra to pay at checkout.

Delivery in 3–7 days to any serviceable pincode in India, with tracking.
Cash on delivery. Pay when the parcel reaches you.
15-day returns. See what qualifies.

About this book

Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical by William Farmer is a 330-page book published by Birkhauser in 2025.