J. Barwise – författare
Visar alla böcker från författaren J. Barwise. Handla med fri frakt och snabb leverans.
2 produkter
2 produkter
E-bok
PDF, Engelska, 19821 730 kr
Läs direkt efter köp
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 written for non-specialists in the field in question. Mathematicians will find that this book provides them with a unique opportunity to apprise themselves of developments in areas other than their own.
Del 8 - Perspectives in Logic
Model-Theoretic Logics
Inbunden, Engelska, 2017
2 706 kr
Skickas inom 7-10 vardagar
Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the eighth publication in the Perspectives in Logic series, brings together several directions of work in model theory between the late 1950s and early 1980s. It contains expository papers by pre-eminent researchers. Part I provides an introduction to the subject as a whole, as well as to the basic theory and examples. The rest of the book addresses finitary languages with additional quantifiers, infinitary languages, second-order logic, logics of topology and analysis, and advanced topics in abstract model theory. Many chapters can be read independently.