Normal view MARC view ISBD view

Choice sequences Troelstra A S A chapter of instuitionistic mathematics.

By:

Material type: Text

TextLanguage: English Publication details: Oxford Clarendon Press 1977Description: ix,170p. 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	SC0609896

Previous								Next
Previous	R14 L5.1 Entailment The logic of relevance and necessity.	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.	Next

There are no comments on this title.

to post a comment.