Author books / Книги автора M. M. Richter E. Börger W. Oberschelp B. Schinzel W. Thomas » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора M. M. Richter E. Börger W. Oberschelp B. Schinzel W. Thomas

book 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

djvu

Author: M. M. Richter E. Börger W. Oberschelp B. Schinzel W. Thomas
Language: English
Year: 1984

00

26.01.2024

1

0