Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas by William M. Farmer - EBooks-Store

0

Sub total: $

total: $

View cart

Checkout

$Currency

$ US Dollar

info@yourdomain.com

0

Sub total: $

Total: $

View cart

Checkout

$Currency

$ US Dollar

home
product details

Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas by William M. Farmer

Available Options

ISBN : 3031211111,9783031211119
Author : William M. Farmer
Publisher : Birkh＆auml;user; 1st ed. 2023 edition (January 2, 2023)

quantity

Description
Reviews (0)

0 review for this Item

Related Products

(eBook PDF)SAS for Forecasting Time Series, Third Edition by John C. Brocklebank PhD , David A. Dickey PhD , Bong S. Choi PhD — (eBook PDF)SAS for Forecasting Time Series, Third Edition by John C. Brocklebank PhD , David A. Dickey PhD , Bong S. Choi PhD

$8.99

Add to Cart

(EBook PDF)Atlas of Clinical Dermatology 4th Edition by Anthony du Vivier MD FRCP — (EBook PDF)Atlas of Clinical Dermatology 4th Edition by Anthony du Vivier MD FRCP

$19.90

Add to Cart

(eBook PDF)Legal Institutions - Methods by Anita Mackay — (eBook PDF)Legal Institutions - Methods by Anita Mackay

$25.99

Add to Cart

(eBook PDF)Pediatric Swallowing and Feeding: Assessment and Management 3rd ed by Joan C. Arvedson , Linda Brodsky , Maureen A. Lefton-Greif — (eBook PDF)Pediatric Swallowing and Feeding: Assessment and Management 3rd ed by Joan C. Arvedson , Linda Brodsky , Maureen A. Lefton-Greif

$19.90

Add to Cart