1. Combinators, [lambda]-Terms and Proof Theory
پدیدآورنده : by Sören Stenlund.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic.,Philosophy (General)

2. Logical Theory and Semantic Analysis :
پدیدآورنده : edited by Sören Stenlund, Ann-Mari Henschen-Dahlquist, Lars Lindahl, Lennart Nordenfelt, Jan Odelstad.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic.,Philosophy (General)
رده :
BC50
.
E358
1974

