Menu
Rendelés állapotának ellenőrzése
Kapcsolat
Könyv Reductive Logic and Proof-search David J. Pym

Reductive Logic and Proof-search

Proof Theory, Semantics, and Control

Szerző: David J. Pym, Eike Ritter
Nyelv: Angol
Kötés: Kemény kötésű
Kiadó: Oxford University Press
Elérhetőség: Beszállítói készleten
Küldés 10-18 napon belül
69 210 Ft
This book is a specialized monograph on the development of the mathematical and computational metath...

Információk a könyvről

Szerző
David J. Pym, Eike Ritter
Nyelv
Angol
Kötés
Könyv - Kemény kötésű
Kiadva
2004
oldal
232
EAN
9780198526339
ISBN
0198526334
Enbook ID
04527270
Kiadó
Oxford University Press
Súly
480
Méretek
162 x 242 x 18

Teljes leírás

This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search, areas of logic that are becoming important in computer science. A systematic foundational text on these emerging topics, it includes proof-theoretic, semantic/model-theoretic and algorithmic aspects. The scope ranges from the conceptual background to reductive logic, through its mathematical metatheory, to its modern applications in the computational sciences. Suitable for researchers and graduate students in mathematical, computational and philosophical logic, and in theoretical computer science and artificial intelligence, this is the latest in the prestigous world-renowned Oxford Logic Guides, which contains Michael Dummet's Elements of intuitionism (2nd Edition), Dov M. Gabbay, Mark A. Reynolds, and Marcelo Finger's Temporal Logic Mathematical Foundations and Computational Aspects , J. M. Dunn and G. Hardegree's Algebraic Methods in Philosophical Logic, H. Rott's Change, Choice and Inference: A Study of Belief Revision and Nonmonotonic Reasoning , and P. T. Johnstone's Sketches of an Elephant: A Topos Theory Compendium: Volumes 1 and 2 .

Érdekelheti

Receptive Ecumenism and the Call to Catholic Learning

Paul D. Murray
58 903 Ft

Portfolio Entrepreneurship in Slovakia - Empirical analysis of small and medium sized enterprises

Brano Zuro
18 688 Ft

Encyclopedia of Mythical Creatures - Indian & Hindu Mythology

Ziggy Quinete
21 009 Ft

Gratitude Journal

Editors of Chartwell Books
3 673 Ft

A Program for Monetary Stability: Millar Lectures, No. 3

Milton Friedman
9 748 Ft

Forty Years Among The Telugus: A History Of The Mission Of The Baptists Of Ontario And Quebec, To The Telugus, South India, 1867-1907 (1908)

John Craig
13 649 Ft

Minions: Super Banana Games!

Renaud Collin
2 461 Ft

Bees For Kids - Amazing Animal Books for Young Readers

Jennifer Lejeune
4 232 Ft

Minutes of the Proceedings of a General Court Martial, Assemble at the Castle of Good Hope, on the 4th January, 1810

Lieut Gen H G Grey
5 975 Ft

Heart of the Sword

MARK CHIN
13 263 Ft

Families

Rena D. Grossman
2 534 Ft

My Life After Death

Erik Medhus
5 757 Ft

Driven

James Sallis
5 757 Ft

Paradosis Or In The Night In Which He Was Betrayed

Edwin A. Abbott
10 811 Ft

Arcane

Brian Sweet
9 544 Ft

Hospice in America

Josefina Bautista Magno
4 622 Ft

Poisoned Fate

Jeremy Stacks
5 558 Ft

Beating Hunger, The Chivi Experience

Kuda Murwira
8 177 Ft

John Woo's A Better Tomorrow

Karen Fang
10 756 Ft

First English Dictionary

Raja T. Nasr
21 844 Ft

UMTS Security

Valtteri Niemi
45 713 Ft

My Little Island Level 2 Student's Book and CD ROM Pack

Leone Dyson
6 811 Ft

Services for the Urban Poor: Section 1. Guiding Principles for Policymakers, Planners and Engineers

Andrew Cotton
4 350 Ft

Pocket Guide to Colorectal Cancer

Deborah T. Berg
26 593 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Jak to žije na farmě

Rebecca Finn
3 097 Ft

Liberalismus, Socialismus Und Christliche Gesellschaftsordnung

Heinrich Pesch
14 370 Ft