FA Sign in

Discover references

Metamathematics

Books

2 results

Cover of Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Gödel’s Theorems

English Beginner

Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Gödel’s Theorems

Roman Murawski (auth.)

1999 View book

Cover of Introduction to Model Theory and to the Metamathematics of Algebra

English Beginner

Introduction to Model Theory and to the Metamathematics of Algebra

Abraham Robinson

0 View book