Record:   Prev Next
Author Manzano, María
Title Extensions of first order logic / María Manzano
Imprint Cambridge ; New York : Cambridge University Press, 1996
book jacket
LOCATION CALL # STATUS OPACMSG BARCODE
 Fu Ssu-Nien WTN LANG BK  QA9 M296 1996    AVAILABLE    30530000612283
Descript xxii, 388 p. : ill. ; 26 cm
Series Cambridge tracts in theoretical computer science ; 19
Note Includes bibliographical references (p. [352]-363) and index
Subject First-order logic
Alt Title Extensions of 1st order logic
Record:   Prev Next