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

Short Introduction to Intuitionistic Logic

Grigori Mints

€159,45
€159,45 €164,38 Izpārdošana

Mums ir noliktavā

📦 Šios prekės gali nebūti sandėlyje.
Prieš perkant parašykite mums, kad patikslintume: info@bookshop.lt 💜

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