FA Sign in

Discover references

formal

Books

5 results

Cover of A mathematical introduction to logic

English Beginner

A mathematical introduction to logic

Herbert Enderton,Herbert B. Enderton

2001 View book

Cover of Logic as a Tool: A Guide to Formal Logical Reasoning

English Beginner

Logic as a Tool: A Guide to Formal Logical Reasoning

Valentin Goranko

2016 View book

Cover of Methods in Mathematical Logic

English Beginner

Methods in Mathematical Logic

Carlos A. Di Prisco

1985 View book

Cover of solutions manual to Languages and machines: an introduction to the theory of computer science

English Beginner

solutions manual to Languages and machines: an introduction to the theory of computer science

View book

Cover of Mathematical Logic Quarterly

English Unordered

Mathematical Logic Quarterly

Silvio Valentini

1993 View book