Normal view MARC view ISBD view

Advanced logic for applications. Grandy Richard E

By:

Material type: Text

TextLanguage: English Series: Synthese libraryPublication details: Boston D Reidel Publishing 1977Description: xi,167p. cmDDC classification:

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	Call number	Status	Barcode
Textual	South Campus Library	South Campus Library	R14 L7 (Browse shelf(Opens below))	Available	SC0613476

Previous								Next
Previous	R14 L7 Choice sequences A chapter of instuitionistic mathematics.	R14 L7 Beginning model theory The completeness theorem and some consequences.	R14 L7 Handbook of mathematical logic.	R14 L7 Advanced logic for applications.	R14 L7 Proof theory.	R14 L7 Elements of intuitionism.	R14 L7 Course in mathematical logic.	Next

There are no comments on this title.

to post a comment.