This volume honors Professor Andrzej Grzegorczyk, the nestor of Polish logicians, on his 85th anniversary. The editors would like to express the respect and sym

The first interdisciplinary textbook to introduce students to three critical areas in applied logic Demonstrating the different roles that logic plays in the di

This easy-to-follow textbook introduces the mathematical language, knowledge and problem-solving skills that undergraduates need to study computing. The languag

This textbook is a logic manual which includes an elementary course and an advanced course. It covers more than most introductory logic textbooks, while maintai

This book was written to serve as an introduction to logic, with in each chapter – if applicable – special emphasis on the interplay between logic and philo