Home | Help | New Search | 中文模式

AS Library Service 


Start Over Hold this item Export MARC Display Return To Browse Another Search
   
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
Start Over Hold this item Export MARC Display Return To Browse Another Search


Home | Help | 中文模式