- We will send in 10–14 business days.
/images/books/12399063/9781848903401.jpg)
- Publisher: College Publications
- ISBN-10: 1848903405
- ISBN-13: 9781848903401
- Format: 15.6 x 23.4 x 3.7 cm, minkšti viršeliai
- Language: English
- SAVE -10% with code: EXTRA
Contemporary Logic and Computing (e-book) (used book) | bookbook.eu
Reviews
Description
The present volume stems from a book-proposal made about two years ago to College Publications, London. The main idea was that of illustrating the interplay between the contemporary work in logic and the mainstream mathematics.
The division of the volume in two sections - topics in 'logic' vs topics in 'computing' - is more or less conventional. Some contributions are focussed on historical and technical details meant to put in perspective the impact of the work of some outstanding mathematicians and philosophers on the contemporary research in logic and computing science. Some other papers, also with a historical flavour, were supposed to evidentiate punctual methods of research and specific concepts or topics, as, e.g., decidability, computability, randomness, and computational or descriptive complexity. In general, the papers were intended as specific surveys of results.
Other volumes - to be issued subsequently in the same series - will hopefully delineate aspects of the contemporary logic landscape that have not been illustrated here.
The intended audience of the book includes graduate students in mathematical logic, foundations of matematics, and computing science, as well as philosophers, mathematicians, and, possibly, other scientists interested in the recent research on logic and computing.
EXTRA 10 % discount with code: EXTRA
The promotion ends in 21d.15:03:44
The discount code is valid when purchasing from 10 €. Discounts do not stack.
- Publisher: College Publications
- ISBN-10: 1848903405
- ISBN-13: 9781848903401
- Format: 15.6 x 23.4 x 3.7 cm, minkšti viršeliai
- Language: English English
The present volume stems from a book-proposal made about two years ago to College Publications, London. The main idea was that of illustrating the interplay between the contemporary work in logic and the mainstream mathematics.
The division of the volume in two sections - topics in 'logic' vs topics in 'computing' - is more or less conventional. Some contributions are focussed on historical and technical details meant to put in perspective the impact of the work of some outstanding mathematicians and philosophers on the contemporary research in logic and computing science. Some other papers, also with a historical flavour, were supposed to evidentiate punctual methods of research and specific concepts or topics, as, e.g., decidability, computability, randomness, and computational or descriptive complexity. In general, the papers were intended as specific surveys of results.
Other volumes - to be issued subsequently in the same series - will hopefully delineate aspects of the contemporary logic landscape that have not been illustrated here.
The intended audience of the book includes graduate students in mathematical logic, foundations of matematics, and computing science, as well as philosophers, mathematicians, and, possibly, other scientists interested in the recent research on logic and computing.
Reviews