Amazon cover image

Image from Amazon.com

Normal view MARC view ISBD view

The nuts and bolts of proofs / Antonella Cupillari.

By:

Cupillari, Antonella

Material type: Text

Text

TextPublication details: Amsterdam ; Boston : Elsevier Academic Press, c2005.Edition: 3rd edDescription: xii, 179 p. : ill. ; 23 cmISBN:

9780120885091 (acidfree paper)
0120885093 (acid-free paper)

Subject(s):

Proof theory

DDC classification:

511.36 22

Online resources:

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	Call number	Status	Barcode
Books - Open Access	Main Library - IDA	511.36 CUP (Browse shelf(Opens below))	Available	001293921

Browsing Main Library - IDA shelves Close shelf browser (Hides shelf browser)

Previous						No cover image available	No cover image available	Next
Previous	511.35 HOP Introduction to automata theory, languages, and computation /	511.35 HOP Introduction to automata theory, languages, and computation /	511.35 HOP Introduction to automata theory, languages, and computation /	511.36 CUP The nuts and bolts of proofs /	511.42 JOS Linear estimation and design of experiment /	511.5 BEI Selected topics in graph theory /	511.5 CAP Examples and counterexamples in graph theory /	Next

Includes bibliographical references (p. 173-176) 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 Report of audio-visual consultant Faculty of Agriculture, Makerere U niversity College.
by Cameron, Hugh E.
2 Research into the economics of peasant faming in Kenya :
by Njukia, John.
3 The adequacy of the technical base for the agricultural extension se rvices in Uganda :
by Okai, Matthew.
4 Programming and special aspects in the productive environment of pea sant farm decision makers /
by Forbes-Watt, D
5 Changing patterns of agriculture in South Kyagwe /
by Hougham, David A.
6 The evaluation of extension :
by Watts, E. R.
7 Food and economic development /
by Riordan, E.B
8 Proposals for the agricultural sectors in the current East African d evelopment plans :
by Belshaw, D.G.R
9 Bulk buying and its effects on agricultural marketing organisation i n East Africa during and immediately after the second world war /
by Yoshida, Masao
10 On quantifying the Malthusian dilema /
by Poleman, Thomas T.
11 Applying social survey methods to the study of agricultural innnovat ion :
by Moris, John.
12 Rural crime in East Africa :
by Tanner, R. E. S.
13 The operaton of the progressive farmers loans scheme in Lango Distri ct /
by Hunt, Diana.
14 Some aspects of the report of the Kenya Maize Commission of Enquiry, 1966 /
by Kyesimira, Y. Z.
15 Some technical and economic aspects of horticultural production in Uganda :
by Hutchinson, Wendy V.
16 Evaluating the mechanization problems of coffee processing in East A frica /
by Ghosh, B.N.
17 Development plans and public investment in agriculture /
by Nyakana, L.M.A.
18 Bulk buying and its effects on agricultural marketing organisation i n East Africa during and immediately after the second world war /
by Yoshida, Masao
19 On quantifying the Malthusian dilema /
by Poleman, Thomas T.
20 Applying social survey methods to the study of agricultural innnovat ion :
by Moris, John.

Close

Share