David Basin
Labelled Deduction - Applied Logic Series David Basin Softcover reprint of the original 1st ed. 2000 edition

Name: Labelled Deduction - Applied Logic Series
Price: 1039 NOK
Availability: OutOfStock
Author: David Basin

Pris

NOK 1.039

Bestillingsvarer

Forventes levert 22. - 30. jul

Få varsel om nye utgivelser fra David Basin

Kundene våre sier:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

14 dages returrett

Toppvurdering på Trustpilot

Legg til iMusic ønskeliste

eller

Ikke vurdert ennå

Labelled Deduction - Applied Logic Series

David Basin

Softcover reprint of the original 1st ed. 2000 edition

Labelled deduction is an approach to providing frameworks for presenting and using different logics in a uniform and natural way by enriching the language of a logic with additional information of a semantic proof-theoretical nature.

278 pages, black & white illustrations, bibliography

Media	Bøker Pocketbok (Bok med mykt omslag og limt rygg)
Utgitt	8. oktober 2012
ISBN13	9789401057813
Utgivere	Springer
Antall sider	267
Mål	155 × 235 × 15 mm · 399 g
Redaktør	Basin, David
Redaktør	D'Agostino, M.
Redaktør	Gabbay, Dov M.
Redaktør	Matthews, Sean
Redaktør	Vigano, Luca