Computational Logic

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

Write A Review

Hardcover | 14 April 1999

At a Glance

Hardcover
460 Pages

Dimensions(cm)
24.13 x 17.15 x 2.54

Hardcover

$249.00

or 4 interest-free payments of $62.25 with

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).

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Mathematics Mathematical Foundation Mathematical Logic Medicine Medicine in General Computing & I.T.Computer Science Mathematical Theory of Computation Computer Architecture & Logic Design Computer Programming & Software Development Programming & Scripting Languages

Software Engineering Compilers & Interpreters

Game Semantics	p. 1
Notes on the Simply Typed Lambda Calculus	p. 57
Problems in Type Theory	p. 99
Formal Correctness Proofs of Functional Programs: Dijkstra's Algorithm, a Case Study	p. 113
Propositional Proof Complexity - An Introduction	p. 127
Formalizing Decidability Theorems About Automata	p. 179
On the Meaning of Logical Rules I: Syntax Versus Semantics	p. 215
Complexity of Primitive Recursion	p. 273
Computers, Reasoning and Mathematical Practice	p. 301
Research Directions in Rewriting Logic	p. 347
Sequent Calculus and the Specification of Computation	p. 399
Table of Contents provided by Blackwell. All Rights Reserved.

Computational Logic

At a Glance

Hardcover

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Programming & Scripting Languages

Python Crash Course

3rd Edition - A Hands-On, Project-Based Introduction to Programming

Coding For Dummies, All New Edition

For Dummies (Computer/Tech)

The C Programming Language

Prentice Hall Software

Python All-in-One For Dummies

3rd Edition

Effective Modern C++

42 Specific Ways to Improve Your Use of C++11 And C++14

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

Introduction to Programming Languages

Typesetting Mathematics With Latex

Code

2nd Edition - The Hidden Language of Computer Hardware and Software

Beginner's Step-by-Step Coding Course

Learn Computer Programming the Easy Way

Artificial Intelligence Programming with Python

From Zero to Hero

C# 12 in a Nutshell

The Definitive Reference

Python Automation For Dummies

For Dummies (Computer/Tech)

Learning Go

An Idiomatic Approach to Real-World Go Programming

PHP, MySQL, & JavaScript All-In-One For Dummies

For Dummies

Introduction to Machine Learning with Python

A Guide for Data Scientists

Digital Technologies for the Australian Curriculum 9 &10 Workbook

Programming Rust

Fast, Safe Systems Development 2nd Edition

Fluent Python

Clear, Concise, and Effective Programming 2nd Edition

Modern Data Analytics in Excel

Using Power Query, Power Pivot and More for Enhanced Data Analytics

Laravel: Up & Running

3rd Edition - A Framework for Building Modern PHP Apps

Web Scraping with Python

3rd Edition - Data Extraction from the Modern Web

Apache Iceberg: The Definitive Guide

Data Lakehouse Functionality, Performance, and Scalability on the Data Lake

Python Cookbook

Recipes for Mastering Python : 3rd Edition

This product is categorised by