FA Sign in

Discover references

Formal Systems

Books

2 results

Cover of Computability and Logic, 4th edition

English Beginner

Computability and Logic, 4th edition

George S. Boolos,John P. Burgess,Richard C. Jeffrey,

2002 View book

Cover of Mathematical Logic Quarterly

English Unordered

Mathematical Logic Quarterly

L. E. Bertossi

1990 View book