An edition of Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983 : Part 2 (1984)

Proceedings of the Logic Colloquium. Held in Aachen, July 18-23 1983 : Part 2

Computation and Proof Theory

by , , , , and

Proceedings of the Logic Colloquium. Held in ...
M. M. Richter, E. Börger, W. O ...
Locate

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today
Notes
Notes

Check nearby libraries

Buy this book

Last edited by MARC Bot
September 30, 2024 | History
Edit
An edition of Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983 : Part 2 (1984)

Proceedings of the Logic Colloquium. Held in Aachen, July 18-23 1983 : Part 2

Computation and Proof Theory

by , , , , and

This edition doesn't have a description yet. Can you add one?

Publish Date
Publisher
Springer London, Limited
Language
English

Check nearby libraries

Buy this book

Subjects

Computable functions, Proof theory, Mathematics, Symbolic and mathematical Logic, Mathematical Logic and Foundations
Edition Availability
Cover of: Proceedings of the Logic Colloquium. Held in Aachen, July 18-23 1983 : Part 2
Proceedings of the Logic Colloquium. Held in Aachen, July 18-23 1983 : Part 2: Computation and Proof Theory
2006, Springer London, Limited
in English
Cover of: Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983 : Part 2
Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983 : Part 2: Computation and Proof Theory
Dec 01, 1984, Springer
paperback

Add another edition?

Book Details

Classifications

Library of Congress
QA8.9-10.3

The Physical Object

Pagination
x, 482

ID Numbers

Open Library
OL37149529M
ISBN 13
9783540391197

Source records

Better World Books record

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON
September 30, 2024 Edited by MARC Bot import existing book
February 25, 2022 Edited by ImportBot import existing book
March 25, 2021 Created by ImportBot import new book