Normal view MARC view ISBD view

Proof, Language and Interaction./

Plotkin Gordon,

Proof, Language and Interaction./ Essays in Honor of Robin Milne. Plotkin Gordon, - USA Massachusets Institute of Technology 2000 - xiv,720 p. - Foundation of Computing Series. .

Includes bibliographical and references.

ISBN: 0262161885

Subjects--Topical Terms:
1.Computer Science .2. Milner R.Robin 1934

LC Class. No.: QA 76 .P699 2000 / 13394

Print
Add to your cart (remove)
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS
More searches

Search for this title in:
Open Library