Save 40% on eBooks sitewide until 4/15/15
The Apress April Fools' Day Special Promotion

All Titles in Mathematical Logic and Formal Language

Grid or a List

Set Descending Direction

Books 1-12 of 31

per page
Page:
  1. 1
  2. 2
  3. 3
  • A Concise Introduction to Languages and Machines Cover

    $39.95 $23.97

  • A Proof Theory for Description Logics Cover

    $39.95 $23.97

  • Abstract State Machines, Alloy, B, TLA, VDM, and Z Cover

    $59.99 $35.99

  • Agent Technology from a Formal Perspective Cover

    $119.00 $71.40

  • Automated Reasoning Cover

    $79.99 $47.99

  • Categories and Types in Logic, Language, and Physics Cover

    $69.99 $41.99

  • Coalgebraic Methods in Computer Science Cover

    $49.99 $29.99

  • Conditionals and Modularity in General Logics Cover

    $99.00 $59.40

  • Decision Procedures Cover

    $49.95 $29.97

  • Deontic Logic and Normative Systems Cover

    $49.99 $29.99

  • Finite Model Theory and Its Applications Cover

    $79.99 $47.99

  • Formal Correctness of Security Protocols Cover

    $69.95 $41.97

Grid or a List

Set Descending Direction

Books 1-12 of 31

per page
Page:
  1. 1
  2. 2
  3. 3