Metamatemática /

by Lorenzen, Paul, Lorenzen, Paul
Published 1971

Introduction to model theory and to the metamathematics of algebra /

by Robinson, Abraham 1918-1974, Robinson, Abraham 1918-1974
Published 1935

Gödel, Escher, Bach : an eternal golden braid

by Hofstadter, Douglas R. 1945-, Hofstadter, Douglas R. 1945-
Published 1980

Gödel, Escher, Bach : an eternal golden braid : a metaphorical fugue on minds and machines in the spirit of Lewis Carroll /

by Hofstadter, Douglas R. 1945-, Hofstadter, Douglas R. 1945-
Published 1999

The mathematics of metamathematics /

by Rasiowa, Helena, Rasiowa, Helena, Sikorski, Roman
Published 1963