Extensions of first order logic
By: María Manzano.
Series: Cambridge tracts in theoretical computer science ;; 19
Publisher: Cambridge University Press
Published: 1996
Place of publication: Cambridge; New York
Language: eng
Number of pages: 388
Subjects: First-order logic.
Other titles: Extensions of 1st order logic
Notes: Includes bibliographical references (p. [352]-363) and indexes.