List of Books in Keyword #Metamathematics

Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Gödel’s Theorems
Published on: 1999
Beginner Unordered English

Recursive Functions and Metamathematics deals with problems of the completeness and decidability of theories, using as its main tool the …

Recursive Completeness Decidability Gödel Metamathematics
Introduction to Model Theory and to the Metamathematics of Algebra
Published on: 0
Beginner Unordered English

Model Theory Metamathematics Algebra Logic Structures

Page 1 of 1