Normal view MARC view ISBD view

Proof theory and intuitionistic systems / Bruno Scarpellini.

By: Scarpellini, BrunoMaterial type: Text

TextLanguage: English Series: Lecture notes in mathematics (Springer-Verlag) ; 212.Publication details: Berlin ; New York : Springer-Verlag, 1971Description: vii, 290, [1] p. 26 cmISBN: 354005541XSubject(s): Intuitionistic mathematics | Proof theory

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	Collection	Call number	Status	Notes	Date due	Barcode
Գրքեր/Books	Fundamental Scientific Library	Gulbenkian Individual Collection	Gulb/3084 (Browse shelf(Opens below))	Available	ILL Non-Circ.		901003084

Previous								Next
Previous	Gulb/3081 Proceedings of the Summer School in Logic, Leeds, 1967 : N.A.T.O. Advanced Study Institute, Meeting of the Association for Symbolic Logic /	Gulb/3082 Term logic with choice operator /	Gulb/3083 Symposium on semantics of algorithmic languages /	Gulb/3084 Proof theory and intuitionistic systems /	Gulb/3085 Lectures in set theory : With particular emphasis on the method of forcing /	Gulb/3086 Models of ZF-set theory /	Gulb/3087 Global differentiable dynamics : Proceedings of the Conference held at Case Western Reserve University, Cleveland, Ohio, June 2-6, 1969 /	Next

Bibliogr.: p. 291

There are no comments on this title.

to post a comment.