國立虎尾科技大學 |

Language: English

Login

Back

Switch To: Labeled | MARC Mode | ISBD

Rudiments of [mu]-calculus

~

Niwiński, Damian.

Rudiments of [mu]-calculus

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Rudiments of [mu]-calculus/ A. Arnold, D. Niwiński.
Author:	Arnold, A.
other author:	Niwiński, Damian.
Published:	Amsterdam ;Elsevier, : 2001.,
Description:	xvii, 277 p. :ill. ; : 24 cm.;
Subject:	Algebraic logic. -
Online resource:	click for full text (2015 TAEBDC PDA eBooks Trial, Trial Period: 2015.6.3-2015.12.31)
ISBN:	9780444506207 (electronic bk.)

Rudiments of [mu]-calculus
Arnold, A.1945-

Rudiments of [mu]-calculus[electronic resource] /A. Arnold, D. Niwiński. - 1st ed. - Amsterdam ;Elsevier,2001. - xvii, 277 p. :ill. ;24 cm. - Studies in logic and the foundations of mathematics ;v. 146.

Includes bibliographical references (p. [269]-273) and index.

ISBN: 9780444506207 (electronic bk.) Subjects--Topical Terms:

633629
Algebraic logic.

LC Class. No.: QA10 / .A76 2001

Dewey Class. No.: 511.3

Rudiments of [mu]-calculus
LDR:00862nam a2200217 a 4500 001 809570
005 20130419111110.0
008 150720s2001 ne a sb 001 0 eng d
020 $a 9780444506207 (electronic bk.)
020 $a 9780444506207
035 $a 13003435
040 $a OUN $c OUN $d OHX $d UKM $d WaOLN
041 0 $a eng
050 4 $a QA10 $b .A76 2001
082 0 4 $a 511.3 $2 21
100 1 $a Arnold, A. $q (André), $d 1945- $3 908003
245 1 0 $a Rudiments of [mu]-calculus $h [electronic resource] / $c A. Arnold, D. Niwiński.
250 $a 1st ed.
260 $a Amsterdam ; $a New York : $b Elsevier, $c 2001.
300 $a xvii, 277 p. : $b ill. ; $c 24 cm.
490 0 $a Studies in logic and the foundations of mathematics ; $v v. 146
504 $a Includes bibliographical references (p. [269]-273) and index.
650 0 $a Algebraic logic. $3 633629
650 0 $a Monotonic functions. $3 672093
650 0 $a Fixed point theory. $3 528441
650 0 $a Lattice theory. $3 633630
650 0 $a Machine theory. $3 527775
700 1 $a Niwiński, Damian. $3 908004
856 4 0 $u http://www.sciencedirect.com/science/book/9780444506207 $z click for full text (2015 TAEBDC PDA eBooks Trial, Trial Period: 2015.6.3-2015.12.31)

based on 0 review(s)

Multimedia

Reviews

Add a review and share your thoughts with other readers

Export

pickup library

Change password

Login