Normal view MARC view ISBD view

Beginning model theory Bridge Jane The completeness theorem and some consequences.

By:

Material type: Text

TextLanguage: English Series: Oxford logic guidesPublication details: Oxford Clarendon Press 1977Description: vii,143p. 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	SC0609893

Previous								Next
Previous	R14 L6 Mathematical logic.	R14 L7 Worlds,times and selves.	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.	Next

There are no comments on this title.

to post a comment.