WorldCat Identities

Cagnoni, Donatella

Overview
Works: 6 works in 6 publications in 1 language and 15 library holdings
Roles: Editor
Classifications: QA9, 164
Publication Timeline
.
Most widely held works by Donatella Cagnoni
Teoria della dimostrazione( Book )

1 edition published in 1981 in Italian and held by 10 WorldCat member libraries worldwide

Filosofia della logica : nominalismo e realismo nella logica contemporanea by Hilary Putnam( Book )

1 edition published in 1975 in Italian and held by 1 WorldCat member library worldwide

Mathematical logic by Joseph R Shoenfield( Book )

1 edition published in 1980 in Italian and held by 1 WorldCat member library worldwide

This classic introduction to the main areas of mathematical logic provides the basis for a first graduate course in the subject. It embodies the viewpoint that mathematical logic is not a collection of vaguely related results, but a coherent method of attacking some of the most interesting problems, which face the mathematician. The author presents the basic concepts in an unusually clear and accessible fashion, concentrating on what he views as the central topics of mathematical logic: proof theory, model theory, recursion theory, axiomatic number theory, and set theory. There are many exercises, and they provide the outline of what amounts to a second book that goes into all topics in more depth. This book has played a role in the education of many mature and accomplished researchers
Teoria della dimostrazione( Book )

1 edition published in 1981 in Italian and held by 1 WorldCat member library worldwide

Teoria della dimostrazione( Book )

1 edition published in 1981 in Undetermined and held by 1 WorldCat member library worldwide

Seminario di teoria degli insiemi : anno accademico 1971-72( Book )

1 edition published in 1972 in Italian and held by 1 WorldCat member library worldwide

 
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.94 (from 0.58 for Mathematic ... to 0.98 for Teoria del ...)

Associated Subjects
Languages