Get 1 Year of unlimited Apress for $199
Instant access to all available titles and new releases Apress Access Subscription

All eBooks in Mathematical Logic and Formal Language

On this page you will find our Apress Books in the area of Mathematical Logic and Formal Language.

Grid or a List

Set Descending Direction

Books 1-12 of 49

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

    $39.95 $17.98

  • A Proof Theory for Description Logics Cover

    $39.95 $17.98

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

    $59.99 $27.00

  • Agent Technology from a Formal Perspective Cover

    $119.00 $53.55

  • Automated Reasoning Cover

    $79.99 $36.00

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

    $69.99 $31.50

  • Coalgebraic Methods in Computer Science Cover

    $49.99 $22.50

  • Conditionals and Modularity in General Logics Cover

    $99.00 $44.55

  • Confluent String Rewriting Cover

    $39.99 $18.00

  • Decision Procedures Cover

    $49.95 $22.48

  • Deontic Logic and Normative Systems Cover

    $49.99 $22.50

  • Finite Model Theory and Its Applications Cover

    $79.99 $36.00

Grid or a List

Set Descending Direction

Books 1-12 of 49

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