Introduction to metalogic
Subtitle: with an appendix on type-theoretical extensional and intensional logic
By: by Imre Ruzsa
Publisher: Áron Publishers
Published: 1997
Place of publication: Budapest
Language: eng
Number of pages: 182
ISBN-13: 9789638550453
Subjects: Logica; First-order logic
Notes: Includes bibliographical references (p. 182).