Amazon cover image

Image from Amazon.com

Normal view MARC view ISBD view

Basic proof theory / A.S. Troelstra, H. Schwichtenberg.

By:

Troelstra, A. S. (Anne Sjerp)

Contributor(s):

Schwichtenberg, Helmut, 1942-

Series: Cambridge tracts in theoretical computer science ; 43Publication details: Cambridge : Cambridge University Press, 2000.Edition: 2nd edDescription: xii, 417 p. ; 23 cmISBN:

0521779111 (pbk.) /

Subject(s):

Proof theory

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Home library	Collection	Call number	Materials specified	Copy number	Status	Date due	Barcode
AM	PERPUSTAKAAN TUN SERI LANANG	PERPUSTAKAAN TUN SERI LANANG KOLEKSI AM-P. TUN SERI LANANG (ARAS 5)	-	QA9.54.T76 2000 (Browse shelf(Opens below))		1	Available		00001272007

Includes bibliographical references (p. 379-403) and index.

There are no comments on this title.

to post a comment.

Previous

Back to results

Next

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

1 Abad ke-18 sebagai kategori dalam penulisan sejarah Indonesia? /
by Leur, J. C. Van
2 Africa discovers her past /
3 Africa in time-perspective :
by McCall, Daniel Francis
4 Alam pensejarahan dari pelbagai perspektif /
5 American foreign policy :
by Quester, George H.
6 The American Historian :
by Wish, Harvey,
7 American history /
8 American history and American historians :
by Bellot, Hugh Hale,
9 American intellectual histories and historians /
by Skotheim, Robert Allen
10 The American Revolution;
by Billias, George Athan,
11 Americans interpret their Civil War /
by Pressly, Thomas J.
12 The ancient Greek historians /
by Bury, J. B.
13 Approaches to local history /
by Rogers, Alan
14 Approaches to the history of the Middle East :
15 Arabic historical thouhgt in the classical period /
by Khalidi, Tarif,
16 Archive film and the study of war and society
17 Arnold Toynbee on Judaism and Zionism
by Rabinowicz, Oscar K.,
18 The art of history :
by Black, John Bennett, 1883-1964.
19 Asbabun nuzul :
by Shaleh, K. H. Q.
20 Asbabun nuzul :
by Shaleh, K. H. Q.

Close

Contact Us

Perpustakaan Tun Seri Lanang, Universiti Kebangsaan Malaysia
43600 Bangi, Selangor Darul Ehsan,Malaysia
+603-89213446 – Consultation Services
019-2045652 – Telegram/Whatsapp
Email: helpdeskptsl@ukm.edu.my

Copyright ©The National University of Malaysia Library