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-20 of 49

per page
Page:
  1. 1
  2. 2
  3. 3
  1. A Concise Introduction to Languages and Machines
    • Publication Date: June 29, 2009
    • ISBN13: 978-1-848001-20-6
    • Price: $39.95
  2. A Proof Theory for Description Logics
    • Publication Date: May 17, 2012
    • ISBN13: 978-1-447140-01-6
    • Price: $39.95
  3. Abstract State Machines, Alloy, B, TLA, VDM, and Z
    • Publication Date: May 29, 2014
    • ISBN13: 978-3-662436-51-6
    • Price: $59.99
  4. Agent Technology from a Formal Perspective
    • Publication Date: January 27, 2006
    • ISBN13: 978-1-852339-47-0
    • Price: $119.00
  5. Automated Reasoning
    • Publication Date: July 1, 2014
    • ISBN13: 978-3-319085-86-9
    • Price: $79.99
  6. Categories and Types in Logic, Language, and Physics
    • Publication Date: April 3, 2014
    • ISBN13: 978-3-642547-88-1
    • Price: $69.99
  7. Coalgebraic Methods in Computer Science
    • Publication Date: August 19, 2014
    • ISBN13: 978-3-662441-23-7
    • Price: $49.99
  8. Conditionals and Modularity in General Logics
    • Publication Date: August 19, 2011
    • ISBN13: 978-3-642190-67-4
    • Price: $99.00
  9. Confluent String Rewriting
    • Publication Date: October 5, 2011
    • ISBN13: 978-3-642648-67-0
    • Price: $39.99
  10. Decision Procedures
    • Publication Date: April 29, 2008
    • ISBN13: 978-3-540741-04-6
    • Price: $49.95
  11. Deontic Logic and Normative Systems
    • Publication Date: June 30, 2014
    • ISBN13: 978-3-319086-14-9
    • Price: $49.99
  12. Finite Model Theory and Its Applications
    • Publication Date: June 4, 2007
    • ISBN13: 978-3-540004-28-8
    • Price: $79.99
  13. First-Order Logic and Automated Theorem Proving 2nd Edition
    • Publication Date: June 26, 2013
    • ISBN13: 978-1-461275-15-2
    • Price: $47.49
  14. Formal Correctness of Security Protocols
    • Publication Date: May 27, 2007
    • ISBN13: 978-3-540681-34-2
    • Price: $69.95
  15. Formal Grammar
    • Publication Date: July 10, 2014
    • ISBN13: 978-3-662441-20-6
    • Price: $49.99
  16. Formal Languages and Compilation 2nd Edition
    • Publication Date: October 16, 2013
    • ISBN13: 978-1-447155-13-3
    • Price: $59.99
  17. Formal Languages and Compilation
    • Publication Date: April 3, 2009
    • ISBN13: 978-1-848820-49-4
    • Price: $59.95
  18. Formal Methods in Human-Computer Interaction
    • Publication Date: December 6, 2012
    • ISBN13: 978-3-540761-58-7
    • Price: $69.95
  19. Formal Specification
    • Publication Date: December 6, 2012
    • ISBN13: 978-1-852330-02-6
    • Price: $69.95
  20. Foundations of Information and Knowledge Systems
    • Publication Date: February 20, 2014
    • ISBN13: 978-3-319049-38-0
    • Price: $69.99

Grid or a List

Set Descending Direction

Books 1-20 of 49

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