G. Plotkin

ספרים שבהם G. Plotkin מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

Proof, language, and interactionMads Tofte

Proof, language, and interaction

Mads Tofte · 2000