FA Sign in

Discover references

Formalization

Books

2 results

Cover of Logic and Structure

English Beginner

Logic and Structure

Dirk van Dalen

1994 View book

Cover of Model Theory and the Philosophy of Mathematical Practice: Formalization without Foundationalism

English Beginner

Model Theory and the Philosophy of Mathematical Practice: Formalization without Foundationalism

John T. Baldwin

2018 View book