Deduction, computation, experiment exploring the effectiveness of proof /

Saved in:

Bibliographic Details
Corporate Author:	ebrary, Inc
Other Authors:	Corsi, Giovanna, Lupacchini, Rossella
Format:	Electronic eBook
Language:	English
Published:	Berlin ; New York : Springer, c2008.
Subjects:	Evidence. Logic. Electronic books.
Online Access:	An electronic book accessible through the World Wide Web; click to view
Tags:	Add Tag No Tags, Be the first to tag this record!

MARC


LEADER	00000nam a2200000Ia 4500
001	0000102743
005	20171002055336.0
006	m u
007	cr cn\|\|\|\|\|\|\|\|\|
008	080304s2008 gw a sb 001 0 eng d
020			\|z 8847007836
020			\|z 9788847007833
035			\|a (CaPaEBR)ebr10252042
035			\|a (OCoLC)466346170
040			\|a CaPaEBR \|c CaPaEBR
050	1	4	\|a BC173 \|b .D43 2008eb
245	0	0	\|a Deduction, computation, experiment \|h [electronic resource] : \|b exploring the effectiveness of proof / \|c Rossella Lupacchini, Giovanna Corsi (eds.).
260			\|a Berlin ; \|a New York : \|b Springer, \|c c2008.
300			\|a xii, 279 p. : \|b ill.
504			\|a Includes bibliographical references and index.
533			\|a Electronic reproduction. \|b Palo Alto, Calif. : \|c ebrary, \|d 2009. \|n Available via World Wide Web. \|n Access may be limited to ebrary affiliated libraries.
650		0	\|a Evidence.
650		0	\|a Logic.
655		7	\|a Electronic books. \|2 local
700	1		\|a Corsi, Giovanna.
700	1		\|a Lupacchini, Rossella.
710	2		\|a ebrary, Inc.
856	4	0	\|u http://site.ebrary.com/lib/daystar/Doc?id=10252042 \|z An electronic book accessible through the World Wide Web; click to view
908			\|a 170314
942	0	0	\|c EB
999			\|c 91895 \|d 91895