Digital download and online
Modal Logic
Momenteel uitverkocht
Gratis verzending
vanaf €20
30 dagen retour
zonder gedoe
Veilig betalen via iDEAL of Klarna
iDEAL · Klarna
Beschrijving
This is a popular 2001 graduate text on modal logic, a field which has caught the attention of computer scientists, economists and computational linguists. With two distinct tracks through the work, clearly signposted in each chapter. A must for both novices and experts in modal logic.
This is an advanced 2001 textbook on modal logic, a field which caught the attention of computer scientists in the late 1970s. Researchers in areas ranging from economics to computational linguistics have since realised its worth. The book is for novices and for more experienced readers, with two distinct tracks clearly signposted at the start of each chapter. The development is mathematical; prior acquaintance with first-order logic and its semantics is assumed, and familiarity with the basic mathematical notions of set theory is required. The authors focus on the use of modal languages as tools to analyze the properties of relational structures, including their algorithmic and algebraic aspects, and applications to issues in logic and computer science such as completeness, computability and complexity are considered. Three appendices supply basic background information and numerous exercises are provided. Ideal for anyone wanting to learn modern modal logic.
Digital download and online
Momenteel uitverkocht
Gratis verzending
vanaf €20
30 dagen retour
zonder gedoe
Veilig betalen via iDEAL of Klarna
iDEAL · Klarna
Aanbevolen
M. Garand
€ 20,70
Danièle Bott
€ 32,40
Hachisu, Nancy Singleton
€ 40,50
Jean-Michel Guesdon || Philippe Margotin
€ 40,50
Collins Maps
€ 34,20
Jacques Cavallier-Belletrud || Lionel Paillès || Aurore de la Morinerie
€ 130,50
DK Travel
€ 20,70
DK || Chris Packham
€ 28,80
Sarah J. Maas
€ 18,00
Newey, Adrian
€ 32,88
Populaire zoekopdrachten
Snel naar
Trending now
How to Build a Car: The Autobiography of the World’s Greatest Formula 1 Designer
Newey, Adrian
The Science of Animals: Inside their Secret World
DK || Chris Packham
The Rolling Stones All the Songs Expanded Edition: The Story Behind Every Track
Jean-Michel Guesdon || Philippe Margotin
Ride: Cycle the World
DK Travel
Serie & gerelateerd
Sherwood, Robert
Cambridge Springs 1904
€ 44,17
Glover, Terrot Reaveley
Cambridge Retrospect (Cambridge Library Collection - Cambridge)
€ 43,59
Cambridge, Cambridge
Patriot's day Celebration at Cambridge, Mass., April 19th, 1921. Also an Address on the True American Flag the Cambridge Flag
€ 26,71
Cambridge, Cambridge
The Register Book of the Lands and Houses in the "New Towne" and the Town of Cambridge With the Records of the Proprietors of the Common Lands: Being ... Generally Called "The Proprietors' Records"
€ 61,69
Cambridge, Cambridge
Exercises in Celebrating the two Hundred and Fiftieth Anniversary of the Settlement of Cambridge, Held December 28, 1880
€ 33,70
Cambridge, Cambridge
Exercises in Celebrating the two Hundred and Fiftieth Anniversary of the Settlement of Cambridge, Held December 28, 1880
€ 51,89
Cambridge, Cambridge
Patriot's day Celebration at Cambridge, Mass., April 19th, 1921. Also an Address on the True American Flag the Cambridge Flag
€ 44,90
Cambridge, Cambridge
The Records of the Town of Cambridge (formerly Newtowne) Massachusetts. 1630-1703
€ 61,93
Cambridge, Cambridge
Exercises in Celebrating the two Hundred and Fiftieth Anniversary of the Settlement of Cambridge, Held December 28, 1880
€ 51,97
Cambridge, Cambridge
Exercises in Clebrating the two Hundred and Fiftieth Anniversary of the Settlement of Cambridge
€ 51,97
