๐”– Scriptorium
โœฆ   LIBER   โœฆ
๐Ÿ“

Semantics and logics of computation

โœ Scribed by Andrew M. Pitts, P. Dybjer

Publisher
Cambridge University Press
Year
2009
Tongue
English
Leaves
373
Series
Publications of the Newton Institute 14
Edition
1
Category
Library
โฌ‡  Acquire This Volume

No coin nor oath required. For personal study only.

โœฆ Synopsis

This accessible and comprehensive volume addresses modern developments in semantics and logic of computation and will be an important source for graduate students and researchers working in this area.

๐Ÿ“œ SIMILAR VOLUMES

Computability Theory, Semantics, and Log
๐Ÿ“ Computability Theory, Semantics, and Logic Programming
โœ Melvin Fitting ๐Ÿ“‚ Library ๐Ÿ“… 1987 ๐Ÿ› Oxford University Press ๐ŸŒ English

This book describes computability theory and provides an extensive treatment of data structures and program correctness. It makes accessible some of the author's work on generalized recursion theory, particularly the material on the logic programming language PROLOG, which is currently of great int

Truth, Deduction, and Computation: Logic
๐Ÿ“ Truth, Deduction, and Computation: Logic and Semantics for Computer Science
โœ Davis R.E. ๐Ÿ“‚ Library ๐Ÿ“… 1989 ๐Ÿ› Computer Science Press ๐ŸŒ English

Truth, Deduction, and Computation Logic and Semantics for Computer Science. Ruth E. Davis. Copyright 1989, Computer Science Press, NY. ISBN/ASIN/LOC 0716782014. Hardcover in very good condition. Binding is secure, cover and spine are clean with minimal wear. NO writing or highlighting was observerd