Liknande böcker

Computer science logic
Bok av Egon Borger
Handbook of Logic in Computer Science. Volume 5, Logic and Algebraic Met...
Bok av Thomas S. E. Maibaum
Algorithms and Complexity
Bok av Author Unknown
Elements of the theory of computation
Bok av Harry R. Lewis
Computer science logic : 10th international workshop, CSL '96 : Annual C...
Bok av Dirk van Dalen
A textbook of belief dynamics : theory change and database updating
Bok av Sven Ove Hansson
Logic for applications
Bok av Anil Nerode
Descriptive Complexity
Bok av Neil Immerman

What is a logical system?

Bok av Dov M. (EDT) Gabbay
BL Internationally renowned contributors including Kosta Dosen, Solomon Feferman, Neil Tennent, and Robert Kowalski A collection of papers addressing the fundamental question "what is a logical system?" This book presents a wide spectrum of ideas on the problem, reflecting curent mainstream approaches to logic and its applications.