LIBRI DI SCIENZE - pagina 4

Stewart Shapiro
North-Holland

''Platonism and intuitionism are rival philosophies of Mathematics, the former holding that the subject matter of mathematics consists of abstract objects whose existence is independent of the mathematician, the latter that the subject matter consists of mental construction... both views are implicitly opposed to materialistic accounts of mathematics which take the subject matter of mathematics to consist (in a direct way) of material objects...'' FROM THE INTRODUCTION Among the aims of this book are: - The discussion of some important philosophical issues using the precision of mathematics. - The development of formal systems that contain both classical and constructive components. This allows the study of constructivity in otherwise classical contexts and represents the formalization of important intensional aspects of mathematical practice. - The direct formalization of intensional concepts (such as computability) in a mixed constructive/classical context.

Willard Van Orman Quine
Harvard University Press

W. V. Quine's systematic development of mathematical logic has been widely praised for the new material presented and for the clarity of its exposition. This revised edition, in which the minor inconsistencies observed since its first publication have been eliminated, will be welcomed by all students and teachers in mathematics and philosophy who are seriously concerned with modern logic.

Max Black, in Mind, has said of this book, “It will serve the purpose of inculcating, by precept and example, standards of clarity and precision which are, even in formal logic, more often pursued than achieved.”

Walter Heitler
Paolo Boringhieri

Enrico Corradi
Celuc

AA.VV.
Feltrinelli Editore

Jim L. Alty, Mike J. Coombs
Franco Angeli

F. W. Lawvere, S. H. Schanuel
Franco Muzzio Editore

Domenico Costantini, Ubaldo Garibaldi, Maria Antonietta Penco
Franco Muzzio & C. Editore

Jagjit Singh
Edizioni scientifiche e tecniche Mondadori

Giovanna Togliatti
CLUP - Cooperativa Libraria Universitaria del Politecnico

H. David Levy
De Agostini

Una guida completa indispensabile per avvicinarsi al mistero e alla magia dei cieli, dalla brillantezza della prima stella della sera allo splendore delle galassie più lontane. L'atlante celeste: 12 mappe del cielo. 85 carte di costellazioni. Le tecniche dello 'skywatching'. La storia dell'astronomia.

Robert C. King
ISEDI Istituto Editoriale Internazionale

Peter Sergeevic Novikov
Riuniti

W. Ross Ashby
Giulio Einaudi Editore

Ruggero Pierantoni
Archinto

Sergio Galluzzi
Casa Editrice Emil di Odoya srl

Norbert Wiener
il Saggiatore di Alberto Mondadori Editore

AA.VV.
Istituto della Enciclopedia Italiana fondata da Giovanni Treccani

AA.VV.
Istituto della Enciclopedia Italiana fondata da Giovanni Treccani

AA.VV.
Istituto della Enciclopedia Italiana fondata da Giovanni Treccani

AA.VV.
Istituto della Enciclopedia Italiana fondata da Giovanni Treccani

Francesco Bottaccioli
Red edizioni

Attraverso un'ampia raccolta di dati, questo libro presenta conoscenze di grande attualità riguardo alla salute: le malattie infettive (dal mite raffreddore alla terribile AIDS), il ruolo dei fattori psichici nella genesi dei tumori, la risposta dei malati alle terapie antitumorali, le patologie allergiche e alcune patologie autoimmuni. Estendendo poi il discorso al possibile ruolo dello stress nelle malattie in generale, l'interesse si allarga a numerose altre patologie non direttamente correlate al sistema immunitario.

AA.VV.
D. Reidel Publishing Company

Georgius Agricola
Cooperativa Libraria Universitaria Editrice