Home > Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983: Part 2: Computation and Proof Theory
Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983: Part 2: Computation and Proof Theory
Book Informaton
Author
M. M. Richter; E. Börger; W. Oberschelp; B. Schinzel; W. Thomas
Series
Lecture Notes in Mathematics
Volume
1104
Year of Publication
1984
Publisher
Springer Berlin Heidelberg
Pages
X, 482
Language
EN
ISBN
9783540139010, 9783540391197, 354013901X
ARI Id
1664990118638
This page has been accessed 5 times.
Access Options
Citation Options
Download CitationShowing 1 to 20 of 23 entries
Chapters/Headings | Author(s) | Pages | Info |
I-VIII | |||
1-37 | |||
39-62 | |||
63-77 | |||
79-100 | |||
101-115 | |||
117-128 | |||
129-142 | |||
143-162 | |||
163-174 | |||
175-216 | |||
217-232 | |||
233-258 | |||
259-278 | |||
279-288 | |||
289-364 | |||
365-388 | |||
389-398 | |||
399-426 | |||
427-436 | |||
Chapters/Headings | Author(s) | Pages | Info |
Showing 1 to 20 of 23 entries
Topics