醒吾科技大學圖書館 |

[NT 42591] Language: Francais

[NT 5480] Login

[NT 5635] Back

[NT 59884] Switch To: [NT 5556] Labeled | [NT 5559] MARC Mode | [NT 33762] ISBD

The classical decision problem

[NT 42944] Record Type:	[NT 1579] Language materials, printed : [NT 40817] monographic
[NT 47261] Author:	Boerger,Egon,, 1946-
[NT 47353] Alternative Intellectual Responsibility:	Gradel,Erich,, 1958-
[NT 47353] Alternative Intellectual Responsibility:	Gurevich,Yuri.,
[NT 47351] Place of Publication:	Berlin
[NT 47263] Published:	Springer;
[NT 47352] Year of Publication:	c1997
[NT 47264] Description:	xii, 482 p.ill. : 24 cm.;
[NT 47298] Series:	Perspectives in mathematical logic
[NT 47266] Subject:	Decidability (Mathematical logic) -
[NT 50961] ISBN:	0-387-57073-X

The classical decision problem
Boerger,, Egon,

The classical decision problem / Egon Boerger, Erich Gradel, Yuri Gurevich - Berlin : Springer, c1997. - xii, 482 p. ; ill. ; 24 cm.. - (Perspectives in mathematical logic).
Includes bibliographical references (p.[421]-476) and index.
ISBN 0-387-57073-XISBN 3-540-57073-X
Decidability (Mathematical logic)

Gradel,, Erich,

The classical decision problem
LDR:00699nam0 2200217 i 450 001 121356
005 20120618123456.0
010 1 $a 0-387-57073-X
010 1 $a 3-540-57073-X $b hardcover $d NT2022
020 $a us $b 96044426
100 $a 20071107d1997 u y0engy09 b
101 0 $a eng
102 $b gw
105 $a a a 001yy
200 1 $a The classical decision problem $f Egon Boerger, Erich Gradel, Yuri Gurevich
210 $a Berlin $a New York $d c1997 $c Springer
215 1 $a xii, 482 p. $c ill. $d 24 cm.
225 2 $a Perspectives in mathematical logic
320 $a Includes bibliographical references (p.[421]-476) and index
410 0 $1 2001 $a Perspectives in mathematical logic
606 $a Decidability (Mathematical logic) $3 100650 $3 224200
676 $a 511.3 $v 20
680 $a QA9.65 $b B64 1997
700 $a Boerger, $b Egon, $f 1946- $3 100647
701 $a Gradel, $b Erich, $f 1958- $3 100648
701 $a Gurevich, $b Yuri. $3 100649

[NT 59758] based on 0 [NT 59757] review(s)

[NT 42818] Items

1 [NT 46296] records • [NT 5501] Pages 1 •
1

[NT 5501718] Search Note

[NT 5000115] Inventory Number

[NT 7898] Location Name

[NT 7947] Item Class

[NT 33989] Material type

[NT 43385] Call number

[NT 5501238] Usage Class

[NT 45600] Loan Status

[NT 48088] No. of reservations

[NT 52971] Opac note

[NT 46641] Attachments

[NT 5502] Print

00207505

4樓西文圖書區

一般圖書

一般圖書

511.3 B672

一般使用(Normal)

[NT 41737] On shelf

0

1 [NT 46296] records • [NT 5501] Pages 1 •
1

[NT 59725] Reviews

[NT 59886] Add a review [NT 59885] and share your thoughts with other readers

Export

[NT 5501410] pickup library

[NT 48336] Change password

[NT 5480] Login