Hunter G.

Metalogic: An introduction to the metatheory of standard first order logic

1996 · ENGLISH · DJVU

View details →