{totalEditions, plural,
 =0 {# editions }
 one {# edition }
 other {# editions }
 }
 {totalHoldingCount, plural,
 =0 {in # libraries}
 one {in # library}
 other {in # libraries}
 }

This edition in {totalHoldingCount} libraries

{libraryName} added to favorite libraries

{libraryName} removed from favorite libraries

Better World Books

Bookshop.org

RightFind

AbeBooks

VitalSource

Amazon

Select this title to view the detailed record for {title}

Added: {formattedDate}

New at the library

Fiction

Showing {0}-{1} of {total} items

Nonfiction

View access options

Access from your libraries

Borrow from {library}

{formattedDistance} away

Borrow

Borrow from {institution} near {location}

Access Online

Request this item via:

Get it from {institution}

Borrow from your library

Borrow from {institution}

Unable to find any access options. Search the library catalog.

Look what I found on WorldCat.org

Cite list {title}

Cite

Cite {itemTitle}

Share {itemTitle}

Check out this item I found on https://search.worldcat.org

Add {itemTitle} to a list

Share

Add to list

Share list {title}

Item shared from WorldCat.org

Edition

Publisher

View all Formats and Editions for {title}

Dissertation

View all formats and editions

Unable to find libraries on WorldCat with this item.

Access

Yes, show me

Generating recommendations...

We have made recommendations based on your search.

Recommendations provided by a third-party AI service. Only title and author data is shared.

Looks like we hit a snag. Please try again later.

Let us know how we did

beta

We can make recommendations based on this item.

Recommendations for you

Explore similar titles

Uh oh! :(

Sign in

Please sign in to generate recommendations.

ISSN

Cast

Language Notes

Notes

Genre

ISBN

Subjects

Medium of Performance

Event Notes

Reproduction Notes

Show less information

Series

Publication

Credits

Show more information

Performers

Additional Physical Form Entry

Click this link to view the DOI record {x}

Physical Description

OCLC Number / Unique Identifier

Target Audience

Numeric Designation of Musical Work

More Information

Cartographic Mathematical Data

We tailor your experience based on the order of your favorite libraries.

Drag or select a library from below to update the order

use the arrow up and down keys to change the order

{0}, order {1} in the list of {2} libraries

Unable to save libraries order. Please try again

To save changes to the library order, press Done

WorldCat.org

Isabelle/HOL : a proof assistant for higher-order logic