Logic Colloquium symposium on logic held at Boston, 1972-73 edited by R. Parikh

Contributor(s):

Subject(s):

DDC 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	Call number	Status	Date due	Barcode
Carti	IMAR	510/.8 S 511/.3-XXX-7 (Browse shelf(Opens below))	Available		0032464

Previous					No cover image available			Next
Previous	510/.8 S 511/.3-TOL Tableau systems for first order number theory and certain higher order theories	510/.8 S 511/.3-TRO-1 Metamathematical investigation of intuitionistic arithmetic and analysis	510/.8 S 511/.3-XXX-7 Cambridge Summer School in Mathematical Logic held in Cambridge/England, august 1-21, 1971	510/.8 S 511/.3-XXX-7 Logic Colloquium symposium on logic held at Boston, 1972-73	510/.8 S 511/.3-XXX-7 Infinitary logic in memoriam Carol Karp	510/.8 S 511/.3-XXX-7 ISILC Logic Conference proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974	510/.8 S 511/.3-XXX-7 ISILC Proof Theory Symposion dedicated to Kurt SchuÃŒÂ(tte on the occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974	Next

Based on talks at the Boston Logic Colloquium in 1972-73

Cuprinde bibliografie pe capitole

There are no comments on this title.

to post a comment.