國立虎尾科技大學 |

Language: English

Back

Automated reasoning in higher-order ...

Brown, Chad E.

Automated reasoning in higher-order logic : = set comprehension and extensionality in Church's type theory /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Automated reasoning in higher-order logic :/ Chad E. Brown.
Reminder of title:	set comprehension and extensionality in Church's type theory /
Author:	Brown, Chad E.
Published:	London :College Publications, : c2007.,
Description:	xviii, 542 p. :ill. ; : 24 cm.;
Subject:	Type theory. -
ISBN:	9781904987574 (pbk.) :

Automated reasoning in higher-order logic : = set comprehension and extensionality in Church's type theory /
Brown, Chad E.

Automated reasoning in higher-order logic :set comprehension and extensionality in Church's type theory /Chad E. Brown. - London :College Publications,c2007. - xviii, 542 p. :ill. ;24 cm. - Studies in logic ;v. 10.. - Studies in logic ;v. 35..

Includes bibliographical references (p. 525-528) and indexes.

ISBN: 9781904987574 (pbk.) :NT1073

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

672287
Type theory.

LC Class. No.: QA9 / B769

Dewey Class. No.: 511.3

Automated reasoning in higher-order logic : = set comprehension and extensionality in Church's type theory /
LDR:00749cam a2200205 a 4500 001 762670
008 131213s2007 enka b 001 0 eng
015 $a GBA905181 $2 bnb
020 $a 9781904987574 (pbk.) : $c NT1073
020 $a 1904987575 (pbk.)
035 $a (OCoLC)266973289
035 $a .b42187576
040 $a UkCU $b eng $c CUD $d UKM $d CDX $d YDXCP $c NFU
050 # 4 $a QA9 $b B769 $y 2007
082 0 4 $a 511.3 $2 22
100 1 $a Brown, Chad E. $3 930825
245 1 0 $a Automated reasoning in higher-order logic : $b set comprehension and extensionality in Church's type theory / $c Chad E. Brown.
260 # $a London : $c c2007. $b College Publications,
300 $a xviii, 542 p. : $b ill. ; $c 24 cm.
490 1 $a Studies in logic ; $v v. 10.
490 0 $a Logic and cognitive systems.
504 $a Includes bibliographical references (p. 525-528) and indexes.
650 # 0 $a Type theory. $3 672287
650 # 0 $a Automatic theorem proving. $3 674743
830 0 $a Studies in logic ; $v v. 35. $3 833011