Normal view MARC view ISBD view

The nuts and bolts of proofs / Antonella Cupillari.

By: Cupillari, Antonella Material type: Text

TextPublication details: Amsterdam ; Boston : Elsevier Academic Press, c2005Edition: 3rd edDescription: xii, 179 p. : ill. ; 23 cmISBN: 9780120885091 ; 0120885093 Subject(s): Proof theoryDDC classification: 511.3/6 LOC classification: QA9.54 | .C92 2005Online resources: Publisher description | Table of contents only

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

Average rating: 0.0 (0 votes)

Holdings ( 1 )
Title notes ( 1 )
Comments ( 0 )

Holdings
Item type	Current library	Call number	Copy number	Status	Date due	Barcode	Item holds
ATU Book	SCHOOL OF APPLIED SCIENCE & ENGINEERING LIBRARY - ACCRA TECHNICAL UNIVERSITY General Stacks	QA9.54 .C92 2005 (Browse shelf(Opens below))	c1	Available		0000002728

Total holds: 0

Includes bibliographical references (p. 173-176) and index.

There are no comments on this title.

to post a comment.

Place hold
Print
Add to your cart (remove)
Suggest for purchase
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)