شماره ركورد

42425

شماره مدرك

4399828

نويسنده/تنالگان

Daniel P. Friedman

عنوان

The Little Prover

اطلاعات نشر

MIT

سال نشر

2015

شابك

9780262527958