Get Free Shipping on orders over $79
Computational Logic : NATO A S I SERIES SERIES III, COMPUTER AND SYSTEMS SCIENCES - Ulrich Berger

Computational Logic

By: Ulrich Berger (Editor), Helmut Schwichtenberg (Editor)

Hardcover | 14 April 1999

At a Glance

Hardcover


$249.00

or 4 interest-free payments of $62.25 with

 or 

Ships in 5 to 7 business days

Recent developments in computer science clearly show the need for a better theoretical foundation for some central issues. Methods and results from mathematical logic, in particular proof theory and model theory, are of great help here and will be used much more in future than previously. This book provides an excellent introduction to the interplay of mathematical logic and computer science. It contains extensively reworked versions of the lectures given at the 1997 Marktoberdorf Summer School by leading researchers in the field.
Topics covered include: proof theory and specification of computation (J.-Y. Girard, D. Miller), complexity of proofs and programs (S. R. Buss, S. S. Wainer), computational content of proofs (H. Schwichtenberg), constructive type theory (P. Aczel, H. Barendregt, R. L. Constable), computational mathematics, (U. Martin), rewriting logic (J. Meseguer), and game semantics (S. Abramski).

More in Programming & Scripting Languages

Python All-in-One For Dummies : 3rd Edition - John C. Shovic

RRP $74.95

$52.47

30%
OFF
The C Programming Language : Prentice Hall Software - Brian Kernighan

RRP $107.04

$75.75

29%
OFF
The Practical Guide - Kerem Koseoglu

$97.75

Introduction to Programming Languages - Gordon Hurley
Typesetting Mathematics With Latex - Robert Legato
C# 12 in a Nutshell : The Definitive Reference - Joseph Albahari

RRP $133.00

$64.75

51%
OFF
Python Automation For Dummies : For Dummies (Computer/Tech) - Alan Simpson
Typescript Cookbook : Real World Type-Level Programming - Stefan Baumgartner
C++ How to Program, Global Edition : 10th Edition - Paul Deitel

RRP $167.95

$133.75

20%
OFF
Problem Solving and Program Design in C, Global Edition : 8th Edition - Elliot Koffman
Concepts of Programming Languages, Global Edition : 12th Edition - Robert Sebesta