Rogers Robert

Mathematical logic and formalized theories - 1971 - p. cm.

19589

Textual


Logic

B:R1, L1