FA Sign in

Discover references

Formal

Books

5 results

Cover of Simple Formal Logic: With Common-Sense Symbolic Techniques

English Beginner

Simple Formal Logic: With Common-Sense Symbolic Techniques

Arnold vander Nat

2009 View book

Cover of Proof and Disproof in Formal Logic: An Introduction for Programmers

English Beginner

Proof and Disproof in Formal Logic: An Introduction for Programmers

Richard Bornat

2005 View book

Cover of Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures

English Beginner

Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures

Ruzhen Dong,Johannes Faber,Wei Ke (auth.),Zhiming Liu,Jim Woodcock,Huibiao Zhu (eds.)

2013 View book

Cover of Languages and Machines: An Introduction to the Theory of Computer Science (3rd Edition)

English Beginner

Languages and Machines: An Introduction to the Theory of Computer Science (3rd Edition)

Thomas A. Sudkamp

View book

Cover of Formal Approaches and Natural Language in Medieval Logic: Proceedings of the XIXth European Symposium of Medieval Logic and Semantics, Geneva, 12-16 June 2012

English Beginner

Formal Approaches and Natural Language in Medieval Logic: Proceedings of the XIXth European Symposium of Medieval Logic and Semantics, Geneva, 12-16 June 2012

Laurent Cesalli;Frédéric Goubier;Alain De Libera

2017 View book