header.popularSearches
header.quickLinks
Trending now
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.
Aanbevolen
Kentaro Miura
€ 44,10
Sarah J. Maas
€ 72,00
J. R. R. Tolkien
€ 49,50
Brandon Sanderson
€ 29,70
George R. R. Martin
€ 59,40
Mark Douglas
€ 46,80
Brandon Sanderson
€ 34,20
J R R Tolkien
€ 160,20
Takehiko Inoue
€ 21,60
Takehiko Inoue
€ 22,50
Serie & gerelateerd
Robert Sherwood || Andy Soltis
Cambridge Springs 1904
€ 41,12
Mike Smith || Sue Kearsey || Jackie Clegg || Gareth Price
Cambridge IGCSE™ Biology Student's Book (Collins Cambridge IGCSE™)
€ 45,47
Terrot Reaveley Glover
Cambridge Retrospect
€ 39,53
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 the Records Generally Called the Proprietors' Records
€ 0,00
Cambridge Cambridge
Cambridge Seventy-Five Years a City, 1846-1921. a Brief Account of the Interesting Events in Connection with the Celebration of the Seventy-Fifth Anniversary of the City of Cambridge, Massachusetts, October 9-11-12, 1921
€ 0,00
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 the Records 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
