Location & Availability for: Computation and Proof Theory : Proceedin

 Staff view

You must be logged in to Tag Records

Computation and Proof Theory [electronic resource] : Proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983 Part II /

edited by Egon Börger, Walter Oberschelp, Michael M. Richter, Brigitta Schinzel, Wolfgang Thomas.

Book Cover
Main Author: Börger, Egon.
Other Names: Oberschelp, Walter. | Richter, Michael M. | Schinzel, Brigitta. | Thomas, Wolfgang.
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 1984.
Series: Lecture Notes in Mathematics ; 1104.
Topics: Mathematics. | Logic, Symbolic and mathematical.
Genres: Electronic books.
Tags: Add


Spaces will separate tags.
Use quotes for multi-word tags.


Loading Holdings Data ... Loading

Location & Availability for: Computation and Proof Theory : Proceedin