Yazar
logic colloquium 1983 aachen
4 cilt bulundu.
Cilt sonuçları
Models and sets
Logic Colloquium (1983 Aachen, Germany) · Springer-Verlag
484 sayfa · 1984
Congresses / Set theory / Model theory / Mathematical models / Symbolic and mathematical Logic
Proceedings of the Logic Colloquium, held in Aachen, July 18-23, 1983
Logic Colloquium (1983 Aachen, Germany) · Springer-Verlag
Sayfa sayısı yok · 1984
Congresses / Logic, Symbolic and mathematical / Symbolic and mathematical Logic
Computation and proof theory
Logic Colloquium (1983 Aachen, Germany) · Springer-Verlag
475 sayfa · 1984
Computational complexity / Congresses / Logic, Symbolic and mathematical / Proof theory / Symbolic and mathematical Logic