Könyv Computational Logic and Set Theory Eugenio G Omodeo

Computational Logic and Set Theory

Applying Formalized Logic to Analysis

Szerző: Eugenio G Omodeo
Nyelv: Angol
Kötés: Puha kötésű
Elérhetőség: Beszállítói készleten
Küldés 5-8 napon belül
18 946 Ft
This must-read text presents the late Professor Jacob T. Schwartz's work on computational logic and...

Információk a könyvről

Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
2014
oldal
416
EAN
9781447160182
ISBN
9781447160182
Enbook ID
09060410
Súly
659
Méretek
155 x 23 x 24

Teljes leírás

This must-read text presents the late Professor Jacob T. Schwartz's work on computational logic and set theory and its application to proof verification techniques. Covers the AetnaNova system, a program built to verify the correctness of mathematical proofs.

Érdekelheti

198 453 Ft

Bride of Lammermoor

Sir Walter Scott
3 443 Ft
16 167 Ft
4 085 Ft

IQ Puzzle For Adults

Orlando Parker
3 941 Ft
2 119 Ft
7 886 Ft

Chinese Revolution

Arthur N. Holcombe
17 878 Ft
16 311 Ft

Summer of the Ancient

Jodi Lea Stewart
6 136 Ft
7 375 Ft
10 633 Ft
22 972 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Dark World 1 & 2, 2 DVDs

Aleksand Dorbinian
8 568 Ft
2 774 Ft

Skepse, a.s.

Bo Fowler
355 Ft
14 758 Ft

GoGo Kluk z internetu

Štrauch Daniel GoGo
2 392 Ft

Solitéry

Vasilij Vasilievič Rozanov
1 764 Ft

Edén

Stanislaw Lem
6 320 Ft

Solunum Sistemi

Joseph Midthun
4 924 Ft

Henosis

Eric Schaefer
3 672 Ft

Klíčem je klid

Ryan Holiday
4 300 Ft

Piranhas

Saviano
4 713 Ft