Search Results for Logic puzzles. - Narrowed by: Online Library

Twisted logic : puzzles, paradoxes, and big questions

2026-03-11T19:17:42Z

Author Vaughan Williams, Leighton, author.
Preferred Shelf Number BC108
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003402862 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Puzzles in Logic, Languages and Computation The Green Book

2026-03-11T19:17:42Z

Author Radev, Dragomir. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333840.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-34372-8
Format: Electronic Resources
Availability Online Library~1

Puzzles in Logic, Languages and Computation The Red Book

2026-03-11T19:17:42Z

Author Radev, Dragomir. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333842.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-34378-0
Format: Electronic Resources
Availability Online Library~1

Concrete Abstractions Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker

2026-03-11T19:17:42Z

Author Schreiner, Wolfgang. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-24934-1
Format: Electronic Resources
Availability Online Library~1