Lecture Notes in Computer Science

5th Kurt G¶del Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings

By: Georg Gottlob (Editor), Alexander Leitsch (Editor), Daniele Mundici (Editor)

Write A Review

Paperback | 13 August 1997

At a Glance

Paperback
364 Pages

Dimensions(cm)
22.86 x 15.24 x 1.91

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

This book constitutes the refereed proceedings of the 5th Kurt G¶del Colloquium on Computational Logic and Proof Theory, KGC '97, held in Vienna, Austria, in August 1997.
The volume presents 20 revised full papers selected from 38 submitted papers. Also included are seven invited contributions by leading experts in the area. The book documents interdisciplinary work done in the area of computer science and mathematical logics by combining research on provability, analysis of proofs, proof search, and complexity.

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 $0.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 Computing & I.T.Computer Science Artificial Intelligence Mathematics Mathematical Foundation Mathematical Logic Computer Programming & Software Development Programming & Scripting Languages Algorithms & Data Structures Science Science in General

Philosophy of Science Compilers & Interpreters

Paramodulation, Superposition, and Simplification	p. 1
Explaining Gentzen's Consistency Proof within Infinitary Proof Theory	p. 4
Alogtime Algorithms for Tree Isomorphism, Comparison, and Canonization	p. 18
Ultrafilter Logic and Generic Reasoning	p. 34
Informal Rigor and Mathematical Understanding	p. 54
Resolution, Inverse Method and the Sequent Calculus	p. 65
Subtyping over a Lattice	p. 84
A New Method for Bounding the Complexity of Modal Logics	p. 89
Parameter Free Induction and Reflection	p. 103
Looking for an Analogue of Rice's Theorem in Circuit Complexity Theory	p. 114
Two Connections between Linear Logic and Lukasiewicz Logics	p. 128
Structuring of Computer-Generated Proofs by Cut Introduction	p. 140
NaDSyl and some Applications	p. 153
Markov's Rule is Admissible in the Set Theory with Intuitionistic Logic	p. 167
Bounded Hyperset Theory and Web-like Data Bases	p. 172
Invariant Definability	p. 186
Comparing Computational Representations of Herbrand Models	p. 203
Restart Tableaux with Selection Function	p. 219
Two Semantics and Logics Based on the Godel Interpretation	p. 223
On the Completeness and Decidability of a Restricted First Order Linear Temporal Logic	p. 241
Propositional Quantification in Intuitionistic Logic	p. 255
Sketch-as-Proof	p. 264
Translating Set Theoretical Proofs into Type Theoretical Programs	p. 278
Denotational Semantics for Polarized (but Non-constrained) LK by means of the Additives	p. 290
The Undecidability of Simultaneous Rigid E-Unification with Two Variables	p. 305
The Tangibility Reflection Principle for Self-Verifying Axiom Systems	p. 319
Upper Bounds for Standardizations and an Application	p. 335
Table of Contents provided by Blackwell. All Rights Reserved.

Lecture Notes in Computer Science

5th Kurt G¶del Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Algorithms & Data Structures

The Man Who Solved the Market

How Jim Simons Launched the Quant Revolution SHORTLISTED FOR THE FT & MCKINSEY BUSINESS BOOK OF THE YEAR AWARD 2019

Algorithms in C, Parts 1-4

3rd Edition - Fundamentals, Data Structures, Sorting, Searching

Introduction to Machine Learning with Python

A Guide for Data Scientists

Python for Algorithmic Trading

From Idea to Cloud Deployment

Learning Algorithms

A Programmer's Guide to Writing Better Code

Code Dependent

Living in the Shadow of AI - Shortlisted for the Women's Prize for Non-Fiction

Addiction by Design â" Machine Gambling in Las Vegas

Machine Gambling in Las Vegas

The Delicate Art of Brute Force

How to Compute It When You Can't Solve It

Understanding the Ethics of Generative AI

A Developer's Guide

Code Dependent

Living in the Shadow of AI

Quantum Machine Learning

Theory, Algorithms, and Practical Implementation

The Algorithmic Society

Technology, Power, and Knowledge

Quantum Searching and Optimization Algorithms

A Comprehensive Guide

Python Using GPT-5 and Gemini

Finite Element Mesh Generation, 2e

Fundamentals of Data Structures and Algorithms

Fundamentals of Data Structures and Algorithms

Hacker's Delight

Artificial Intelligence Programming with Python

From Zero to Hero

Considerations on the AI Endgame

Ethics, Risks and Computational Frameworks

Quick Data Structures

Quick Programming

Decentralized Futures

Navigating the Integration of Blockchain Technology with Artificial Intelligence

Artificial Intelligence for Art Creation and Understanding

Multimedia Computing, Communication and Intelligence

Frontiers in Data Engineering and Retrieval Systems

International Conference on Data Management and Information Retrieval (Polkowice, Poland, November 2025)

This product is categorised by