醒吾科技大學圖書館 |

[NT 42591] Language: Francais

[NT 5480] Login

[NT 6783] Search

[NT 5500332] ReaderScope

[NT 23262] My Account

[NT 23263] Help

	[NT 19163] Simple Search
	[NT 19127] Advanced Search
	[NT 60381] Public Library Lists
	[NT 60377] Public Reader Lists

	[NT 5500331] Proclaim
	[NT 5500334] OpinionReply
	[NT 5500446] BookLoanBillboard
	[NT 5500495] BookReservedBillboard
	[NT 5500639] NewBook
	[NT 5501239] Exhibition
	[NT 5501650] New books RSS feed

	[NT 27439] Personal Details
	[NT 60382] Saved Searches
	[NT 7969] Circulation Record
	[NT 27435] Messages
	[NT 60383] Reviews
	[NT 60384] Personal Lists

[NT 5635] Back

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

The unprovability of consistency : an essay in modal logic

[NT 42944] Record Type:	[NT 1579] Language materials, printed : [NT 40817] monographic
[NT 47348] Title Information:	an essay in modal logic
[NT 47261] Author:	BoolosGeorge,
[NT 47351] Place of Publication:	Cambridge
[NT 47263] Published:	Cambridge University Press;
[NT 47352] Year of Publication:	1979
[NT 47264] Description:	viii, 184 p.22 cm;
[NT 47266] Subject:	Proof theory -
[NT 47266] Subject:	Modality (Logic) -
[NT 47265] Notes:	Includes index
[NT 50961] ISBN:	0521218799

The unprovability of consistency : an essay in modal logic
Boolos, George

The unprovability of consistency : an essay in modal logic / George Boolos - Cambridge : Cambridge University Press, 1979. - viii, 184 p. ; 22 cm.
Includes index.
Bibliography: p. 180-182.
ISBN 0521218799
Proof theoryModality (Logic)

The unprovability of consistency : an essay in modal logic
LDR:00600nam0 2200217 i 450 001 148511
005 20120618212535.0
010 1 $a 0521218799
020 $a us $b 77085710
100 $a 20071203d1979 y0engy01 b
101 0 $a eng
102 $a us $b ma
105 $a y a 001yy
200 1 $a The unprovability of consistency $e an essay in modal logic $f George Boolos
210 $a Cambridge $a New York $d 1979 $c Cambridge University Press
215 1 $a viii, 184 p. $d 22 cm
300 $a Includes index
320 $a Bibliography: p. 180-182
606 $a Proof theory $3 134945
606 $a Modality (Logic) $3 134946
676 $a 160 $b B724
676 $a 160 $v 21
700 $a Boolos $b George $3 134944
801 0 $a twbBSF $c 20070208 $g CCR
801 1 $a tw $b 醒吾 $c 20070208

[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

00223374

4樓西文圖書區

一般圖書

一般圖書

160 B724

一般使用(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