Tools

LEADER 01316cam 2200361 a 4500

005 20141212122048.0;

008 941123s1996 enka b 001 0 eng ;

010 a| 94043735;

015 a| GB96-21257;

019 a| 34516325;

020 a| 0521354358 (hardback);

035 a| (Sirsi) o31708354;

035 a| (OCoLC)31708354;

049 a| EREE;

050 00 a| QA9b| .M315 1996;

082 00 a| 511.32| 20;

100 1 a| Manzano, María.=| ^A379493;

245 10 a| Extensions of first order logic /c| María Manzano.;

246 3 a| Extensions of 1st order logic;

260 a| Cambridge ;a| New York :b| Cambridge University Press,c| 1996.;

300 a| xxii, 388 pages :b| illustrations ;c| 26 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Cambridge tracts in theoretical computer science ;v| 19;

504 a| Includes bibliographical references (p. [352]-363) and indexes.;

650 0 a| First-order logic.=| ^A50578;

653 0 a| Mathematical logic;

830 0 a| Cambridge tracts in theoretical computer science ;v| 19.=| ^A221007;

596 a| 1;

998 a| 599111;

999 a| QA9 .M315 1996w| LCc| 1i| 30372009402717d| 1/31/2013e| 9/26/2003l| JGESm| JOYNERn| 1q| 1r| Ys| Yt| JGESBKu| 8/29/1996x| BOOKz| JSTACKSo| .STAFF. 0;

Extensions of first order logic / María Manzano.

Author/creator	Manzano, María
Format	Book
Publication Info	Cambridge ; New York : Cambridge University Press, 1996.
Description	xxii, 388 pages : illustrations ; 26 cm.
Subjects	First-order logic.

Variant title	Extensions of 1st order logic
Series	Cambridge tracts in theoretical computer science ; 19 Cambridge tracts in theoretical computer science ; 19. ^A221007
Bibliography note	Includes bibliographical references (p. [352]-363) and indexes.
LCCN	94043735
ISBN	0521354358 (hardback)

Extensions of first order logic / María Manzano.

Click here for more information about this title