S. Feferman works in the Department of Mathematics and Philosophy at Stanford University, California.
2 Ebooks par J. Barwise
J. Barwise: Handbook of Mathematical Logic
The handbook is divided into four parts: model theory, set theory, recursion theory and proof theory. Each of the four parts begins with a short guide to the chapters that follow. Each chapter is …
PDF
Anglais
DRM
€140.91
