Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983: Part 2: Computation and Proof Theory (Lecture Notes in Mathematics, 1104, Band 1104)
Ein Sammelband aus dem Logikcolloquium in Aachen 1983, der sich mit Berechenbarkeitstheorie, Beweisführung und formalen Logiken beschäftigt; präsen ...
Gesponsert
Medimops DE
48.10 EUR
Preis aktualisiert am: 02-05-2026 08:56:26
Gesponsert
SpringerLink DE
48.10 EUR
Preis aktualisiert am: 02-05-2026 09:33:09
Allgemein
Marke
Springer Berlin Heidelberg
ISBN
Springer Berlin Heidelberg 354013901X
MPN
Springer Berlin Heidelberg 7416054
