Models of Peano Arithmetic, volume 15 of Oxford Logic Guides (1997)

by AK Peters
Results 1 - 1 of 1

Gödel’s Incompleteness Theorems

by J. Van Oosten
"... 1.3 Structures for first order logic.................. 7 ..."
Abstract - Add to MetaCart
1.3 Structures for first order logic.................. 7