國立虎尾科技大學 |

Language: English

Back

Second-order quantifier elimination ...

Szalas, Andrzej, (1958-.)

Second-order quantifier elimination : = foundations, computational aspects and applications /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Second-order quantifier elimination :/ Dov M. Gabbay, Renate A. Schmidt, and Andrzej Szalas.
Reminder of title:	foundations, computational aspects and applications /
Author:	Gabbay, Dov M.,
other author:	Szalas, Andrzej,
Published:	London :College Pub., : c2008.,
Description:	viii, 308 p. ;24 cm.;
Subject:	Logic, Symbolic and mathematical. -
ISBN:	9781904987567 (pbk.) :

Second-order quantifier elimination : = foundations, computational aspects and applications /
Gabbay, Dov M.,1945-.

Second-order quantifier elimination :foundations, computational aspects and applications /Dov M. Gabbay, Renate A. Schmidt, and Andrzej Szalas. - London :College Pub.,c2008. - viii, 308 p. ;24 cm. - Studies in logic. Mathematical logic and foundations ;v. 12.. - Studies in logic ;v. 35..

Includes bibliographical references and indexes.

ISBN: 9781904987567 (pbk.) :NT915

Nat. Bib. No.: GBA902071bnbSubjects--Topical Terms:

527823
Logic, Symbolic and mathematical.

Dewey Class. No.: 511.3

Second-order quantifier elimination : = foundations, computational aspects and applications /
LDR:00669cam a2200169 a 4500 001 762675
008 131213s2008 enk b 001 0 eng
015 $a GBA902071 $2 bnb
020 $a 9781904987567 (pbk.) : $c NT915
020 $a 1904987567 (pbk.)
035 $a 016920946
040 $a UK-WkNB $b eng $c UK-WkNB $d Uk $c NFU
082 0 4 $a 511.3 $2 22
100 1 $a Gabbay, Dov M., $d 1945-. $3 930830
245 1 0 $a Second-order quantifier elimination : $b foundations, computational aspects and applications / $c Dov M. Gabbay, Renate A. Schmidt, and Andrzej Szalas.
260 $a London : $c c2008. $b College Pub.,
300 $a viii, 308 p. ; $c 24 cm.
490 1 $a Studies in logic. Mathematical logic and foundations ; $v v. 12.
504 $a Includes bibliographical references and indexes.
650 0 $a Logic, Symbolic and mathematical. $3 527823
700 1 $a Szalas, Andrzej, $d 1958-. $3 930834
700 1 $a Schmidt, Renate A. $3 930833
830 0 $a Studies in logic ; $v v. 35. $3 833011