Normal view MARC view ISBD view

Proof theory Aczel Peter Ed. A selection of papers from the Leeds Proof Theory Programme 1990

By:

Material type: Text

TextLanguage: English Publication details: 1992DDC 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 N2 (Browse shelf(Opens below))	Available	SC0730846

Previous								Next
Previous	R14 M9 Directons in relevant logic.	R14 N0 Kotarbinski Logic, semantics and ontology.	R14 N0 Technical methods in philosophy.	R14 N2 Proof theory A selection of papers from the Leeds Proof Theory Programme 1990	R14 N3 Recursion theory for metamathematics.	R14 N9 RR Necessity and possibility The metaphysics of modality.	R14 Q0 Logic, sets, and recursion.	Next

There are no comments on this title.

to post a comment.