哲学杂志철학 학술지哲学のジャーナルEast Asian
Journal of
Philosophy

Home > Edited Book > Contribution

Summary

Publication details

Publisher: Springer

Place: Berlin

Year: 1987

Pages: 213-229

ISBN (Hardback): 9781461282341

Full citation:

Boris A. Trakhtenbrot, "On "logical relations" in program semantics", in: Mathematical logic and its applications, Berlin, Springer, 1987

Publication details

Publisher: Springer

Place: Berlin

Year: 1987

Pages: 213-229

ISBN (Hardback): 9781461282341

Full citation:

Boris A. Trakhtenbrot, "On "logical relations" in program semantics", in: Mathematical logic and its applications, Berlin, Springer, 1987