Logic, Proof and Computation

filler

Title: Paperback
Price:
Sale price£20.00

Description

Beginning with a review of formal languages and their syntax and semantics, Logic, Proof and Computation conducts a computer assisted course in formal reasoning and the relevance of logic to mathematical proof, information processing and philosophy.

Details

Publisher - Fastprint

Author(s) - Mark Tarver

Paperback

Published Date - May 26 2023

ISBN - 9603003000018

Dimensions - 22.9 x 15.2 x 2.3 cm

Page Count - 321

Payment & Security

American Express Apple Pay Diners Club Discover Maestro Mastercard Shop Pay Union Pay Visa

Your payment information is processed securely. We do not store credit card details nor have access to your credit card information.

You may also like

Recently viewed