Search from the table of contents of 2.5 million books
Advanced Search (Beta)
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

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

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


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 5 times.
Asian Research Index Whatsapp Chanel
Asian Research Index Whatsapp Chanel

Join our Whatsapp Channel to get regular updates.

Access Options
Citation Options
Download Citation

Showing 1 to 20 of 23 entries
Chapters/HeadingsAuthor(s)PagesInfo
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/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 23 entries