Name: Reductive Logic and Proof-search
Price: 2211.95 DKK
Availability: InStock
Author: David J. ( Pym
ISBN: 9780198526339

Reductive Logic and Proof-search af David J. ( Pym

Du sparer 0% ift. normalprisen Spar 0%

Hardback
2-3 uger
2.211,95 kr.

Bag om Reductive Logic and Proof-search

This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search, including 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.

Vis mere

Sprog:
Engelsk

ISBN:
9780198526339

Forlag:
Oxford University Press

Indbinding:
Hardback

Sideantal:
232

Udgivet:
29. april 2004

Størrelse:
162x242x18 mm.

Vægt:
480 g.

Leveringstid: 2-3 uger.
Forventet levering: 5. december 2024

På lager

Normalpris

BLACK NOVEMBER
2.211,95 kr. + Fragt
~~2.211,95 kr.~~

Medlemspris

2.161,95 kr.

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

Bag om David J. ( Pym

Vis alle bøger af David J. ( Pym

Beskrivelse af Reductive Logic and Proof-search

This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search, including 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.

Brugerbedømmelser af Reductive Logic and Proof-search

Andre købte også..

Find lignende bøger

Bogen Reductive Logic and Proof-search findes i følgende kategorier:

Reductive Logic and Proof-search - David J. ( Pym - Bog

Bag om David J. ( Pym

Beskrivelse af Reductive Logic and Proof-search

Brugerbedømmelser af Reductive Logic and Proof-search

Gør som tusindvis af andre bogelskere