Details for: Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, Part II / › Matheson Library catalog

Matheson Library

Empowering Knowledge, Inspiring Discovery

Welcome to the Matheson Library

Explore our vast collection of resources.

Learn and Grow

Your journey to knowledge starts here.

Connect with Us

Join the Matlis community for lifelong learning.

Discover New Worlds

Books that inspire and empower.

Digital Resources

Access journals, articles, and more.

Collaborate and Innovate

Spaces designed for teamwork.

Events and Workshops

Learn from experts and peers.

History and Heritage

Preserving stories and memories.

Our Mission

Empowering education for all.

Future Ready

Building knowledge for tomorrow.

Normal view MARC view ISBD view

Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, Part II / edited by M.M. Richter ... [et al.]

By:

Logic Colloquium (1983 : Aachen)

Contributor(s):

Richter, Michael M, 1938-

Material type: Text

Text

TextSeries: Lecture notes in mathematics (Springer-Verlag) ; 1104Publication details: Berlin : Springer-Verlag, 1984Description: 475pSubject(s):

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 ( 1 )
Comments ( 0 )

Holdings
Item type	Current library	Collection	Call number	Status	Date due	Barcode
Books	Matheson Library Main Collection	Main Collection	511.3 L832c (Browse shelf(Opens below))	Available		042813

Browsing Matheson Library shelves, Shelving location: Main Collection, Collection: Main Collection Close shelf browser (Hides shelf browser)

Previous	No cover image available		No cover image available	No cover image available		No cover image available	No cover image available	Next
Previous	511.3 K63 Mathematical logic /	511.3 L554 Introduction to axiomatic set theory /	511.3 L832 Models and sets proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983	511.3 L832c Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, Part II /	511.3 M323e Elements of logic and foundations of mathematics in problems /	511.3 M538i 1979 Introduction to mathematical logic	511.3 M745 Introduction to set theory /	Next

There are no comments on this title.

to post a comment.

Share