FA Sign in

Discover references

Mathematical Logic

Books

5 results

Cover of Formal Methods, Foundations and Applications: 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers

English Intermediate

Formal Methods, Foundations and Applications: 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers

Harald König,Michael Löwe (auth.),Adenilso Simao,Carroll Morgan (eds.)

2011 View book

Cover of An Introduction to the Technique of Formative Processes in Set Theory

English Beginner

An Introduction to the Technique of Formative Processes in Set Theory

Domenico Cantone,Pietro Ursino

2018 View book

Cover of Generalized descriptive set theory and classification theory

English Beginner

Generalized descriptive set theory and classification theory

Sy-David Friedman,Tapani Hyttinen,Vadim Kulikov

2014 View book

Cover of Computability: An Introduction to Recursive Function Theory

English Beginner

Computability: An Introduction to Recursive Function Theory

Nigel Cutland

1980 View book

Cover of Archive for Mathematical Logic

English Unordered

Archive for Mathematical Logic

Dag Normann

2002 November 01 View book