Location & Availability for: Proceedings of the Herbrand symposium :

 Staff view

You must be logged in to Tag Records

Proceedings of the Herbrand symposium [electronic resource] : Logic Colloquium '81 ... held in Marseilles, France, July 1981 /

edited by J. Stern.

Book Cover
Names: Stern, Jacques, | Herbrand, Jacques,
Published: Amsterdam ; North-Holland Pub. Co. ; 1982.
Series: Studies in logic and the foundations of mathematics ; v. 107.
Topics: Logic, Symbolic and mathematical - Congresses.
Genres: Electronic books. | Conference proceedings.
Tags: Add


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


Loading Holdings Data ... Loading

Location & Availability for: Proceedings of the Herbrand symposium :