Opening book details…
About this nonfiction
Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983: Part 2: Computation and Proof Theory (Lecture Notes in Mathematics, 1104) by Logic Colloquium (1983 : Aachen, Germany) is a nonfiction available to read on EtoBox.
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Logic Colloquium (1983 : Aachen, Germany)
- Publisher
- Springer-Verlag, 1984.
- Published
- 1984
- Language
- EN
- ISBN
- 9783540391159
- Category
- nonfiction
- Subjects
- Mathematics, Stem
More by Logic Colloquium (1983 : Aachen, Germany)
Browse all works by Logic Colloquium (1983 : Aachen, Germany)
Similar books
- Computation and Proof Theory : Proceedings of the Logic Colloquium Held in Aachen, July 18-23, 1983, Part II — Klaus Ambos-Spies (auth.), Egon Börger, Walter Oberschelp, Michael M. Richter, Brigitta Schinzel, Wolfgang Thomas (1984)
- Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983: Part 1: Models and Sets (Lecture Notes in Mathematics, 1103) — G. H. Müller, M. Richter (1984)
- Logic Colloquium: Symposium on Logic held at Boston, 1972-73 (Lecture Notes in Mathematics, 453) — J. N. Crossley, Anil Nerode (auth.), Prof. Dr. Rohit Parikh (1975)
- Colloquium On Methods Of Optimization: Held In Novosibirsk/ussr, June 1968 (lecture Notes In Mathematics) — A. V. Balakrishnan (auth.), N. Moiseev (1970)
- Proof Theory and Intuitionistic Systems (Lecture Notes in Mathematics, 212) — Bruno Scarpellini (auth.) (1971)
- Conference In Mathematical Logic - London '70 (lecture Notes In Mathematics) — Peter Aczel, Wayne Richter (auth.), Wilfrid Hodges (1972)