Mathematical logic and formalized theories : a survey of basic concepts and results

Robert Rogers
Bok · Engelsk · 1971

Utgitt	Amsterdam : North-Holland , 1971
Omfang	xi, 235 s.
Emner	matematisk logikk
ISBN	0720420512