Deduction, Computation, Experiment Exploring the Effectiveness of Proof /

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Lupacchini, Rossella
Körperschaft:	SpringerLink (Online service)
Weitere Verfasser:	Corsi, Giovanna
Format:	Elektronisch E-Book
Sprache:	Englisch
Veröffentlicht:	Milano : Springer Milan, 2008.
Schlagworte:	Philosophy (General). Logic. Philosophy of nature. Information theory. Logic, Symbolic and mathematical. Mathematical physics. Philosophy. Philosophy of Nature. Theory of Computation. Mathematical Logic and Foundations. Mathematical and Computational Physics.
Online-Zugang:	http://dx.doi.org/10.1007/978-88-470-0784-0
Tags:	Tag hinzufügen Keine Tags, Fügen Sie das erste Tag hinzu!

Schreiben Sie den ersten Kommentar!

Ähnliche Einträge