Peter B. Andrews
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof - Applied Logic Series Peter B. Andrews 2nd ed. 2002 edition

Name: An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof - Applied Logic Series
Price: 129.99 EUR
Availability: OutOfStock
Author: Peter B. Andrews

Cena

€ 129,99

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 24. sept. - . gada 2. okt.

Saņemiet paziņojumus par jauniem Peter B. Andrews izdevumiem

Mūsu klienti saka:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu

Top vieta Trustpilot

Pievienot savam iMusic vēlmju sarakstam

Not rated yet

Pieejams arī kā:

Paperback Book

2nd Ed. 2002. Softcover Reprint of the Original 2n edition

(2010) € 90,99

An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof - Applied Logic Series

Peter B. Andrews

2nd ed. 2002 edition

An introduction to mathematical logic that starts with propositional calculus and first-order logic. It is of interest to mathematicians, computer scientists, and philosophers in universities, as well as to computer scientists in industry who wish to use higher-order logic for hardware and software specification and verification.

408 pages, biography

Mediji	Grāmatas Hardcover Book (Grāmata ar cieto muguriņu un vāku)
Izlaists	2002. gada 31. jūlijs
ISBN13	9781402007637
Izdevēji	Springer-Verlag New York Inc.
Lapas	390
Izmēri	160 × 242 × 28 mm · 721 g
Valoda	Angļu