• Book cover of: Short Introduction to Intuitionistic Logic. By: Grigori Mints

Short Introduction to Intuitionistic Logic

Grigori Mints

€159,45
€159,45 €164,38 Sale
Tax included. Shipping calculated at checkout.

In stock
Autorius Grigori Mints
Leidimo metai 2013 m.
Puslapių skč. 131 psl.
Viršelis Minkštas viršelis
ISBN 9781475773194
Leidimas Softcover reprint of the original 1st ed. 2002

Short Introduction to Intuitionistic Logic

Intuitionistic logic is presented here as part of familiar classical logic which allows mechanical extraction of programs from proofs.

Book cover of: Short Introduction to Intuitionistic Logic. By: Grigori Mints

Short Introduction to Intuitionistic ...

€159,45
€159,45 €164,38