The contributors to Logical Environments cover four main themes: the general problem of representing formal systems in logical frameworks, basic algorithms of general use in proof assistants, logical issues, and large-scale experiments with proof assistants. This book is a successor to Logical Frameworks(CUP, 1991) and will be of interest to any mathematician or computer scientist whose research interests lie in the development of the interplay between logic and software engineering.
Read More
The contributors to Logical Environments cover four main themes: the general problem of representing formal systems in logical frameworks, basic algorithms of general use in proof assistants, logical issues, and large-scale experiments with proof assistants. This book is a successor to Logical Frameworks(CUP, 1991) and will be of interest to any mathematician or computer scientist whose research interests lie in the development of the interplay between logic and software engineering.
Read Less
Add this copy of Logical Environments to cart. $14.50, very good condition, Sold by Powell's Books Chicago rated 5.0 out of 5 stars, ships from Chicago, IL, UNITED STATES, published 1993 by Cambridge University Press.
Add this copy of Logical Environments to cart. $48.85, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Newport Coast, CA, UNITED STATES, published 1993 by Cambridge University Press.