160
Deduction, Computation, Experiment : Exploring the Effectiveness of Proof / [electronic resource] : / edited by Rossella Lupacchini, Giovanna Corsi. .- XII, 280 p.. online resource.
BC1-199
ISBN: 9788847007840
10.1007/978-88-470-0784-0 doi
Subject Headings:
Philosophy.;
Logic.;
Philosophy of nature.;
Computers.;
Mathematics.;
Mathematical logic.;
Philosophy.;
Logic.;
Philosophy, general.;
Mathematics, general.;
Philosophy of Nature.;
Theory of Computation.;
Mathematical Logic and Foundations.;
Author Added Entry:
Lupacchini, Rossella.;
Corsi, Giovanna.;
Copy Details:
Acc. No.: EBK5038, Full Call No.: , Item type: E books , Location: ,
------------------------- --------------------- ------ --------- ------- ------- --------- --------
Deduction, Computation, Experiment : Exploring the Effectiveness of Proof / [electronic resource] : / edited by Rossella Lupacchini, Giovanna Corsi. .- XII, 280 p.. online resource.
BC1-199
ISBN: 9788847007840
10.1007/978-88-470-0784-0 doi
Subject Headings:
Philosophy.;
Logic.;
Philosophy of nature.;
Computers.;
Mathematics.;
Mathematical logic.;
Philosophy.;
Logic.;
Philosophy, general.;
Mathematics, general.;
Philosophy of Nature.;
Theory of Computation.;
Mathematical Logic and Foundations.;
Author Added Entry:
Lupacchini, Rossella.;
Corsi, Giovanna.;
Copy Details:
Acc. No.: EBK5038, Full Call No.: , Item type: E books , Location: ,
------------------------- --------------------- ------ --------- ------- ------- --------- --------