Reductive logic and proof-searchDavid J. Pym

Reductive logic and proof-search

David J. Pym, Eike Ritter · 2004

איפה לקנות

המחיר באמזון משתנה מדי יום, אז הכי נכון לראות אותו שם ברגע הקנייה.

לצפייה באמזון

פרטי הספר

שנה: 2004
שפה: English
סדרה: Oxford Logic Guides
הוצאה: Oxford University Press, USA
מהדורות: 5
עמודים: 232
ISBN: 9780198526339

מקור הנתונים: Wikidata

עוד של David J. Pym

The Semantics and Proof Theory of the Logic of Bunched ImplicationsDavid J. Pym

The Semantics and Proof Theory of the Logic of Bunched Implications

David J. Pym · 2002

The Semantics and Proof Theory of the Logic of Bunched Implications (Applied Logic Series)David J. Pym

The Semantics and Proof Theory of the Logic of Bunched Implications (Applied Logic Series)

David J. Pym · 2002

Proofs, Search and Computation in General LogicDavid J. Pym

Proofs, Search and Computation in General Logic