Gør som tusindvis af andre bogelskere
Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.
Ved tilmelding accepterer du vores persondatapolitik.Du kan altid afmelde dig igen.
"An advanced-level logic textbook that presents proof construction on equal footing with model building. Potentially relevant to students of mathematics and computer science as well"--
The methods of logic are essential to an understanding of philosophy and are crucial in the study of mathematics, computing, linguistics and many other subjects. Introducing the major concepts and techniques involved in the study of logic, this book explores formal and philosophical logic, and is for students taking introductory courses in logic.
An introduction to an important group of logics that have come to be known under the umbrella term susbstructural. Substructural logics have independently led to significant developments in philosophy, computing and linguistics.
Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.
Ved tilmelding accepterer du vores persondatapolitik.