A Short Introduction to Intuitionistic Logic (inbunden, eng)
Item 38dab189-198d-4a98-bc9b-d1da2e491750 · 1 källor
Attributes
id3818980Buyersclub Channable feed
gtin9780306463945Buyersclub Channable feed
linkhttps://buyersclub.se/produkt/springer-sciencebusiness-media-a-short-introduction-to-intuitionistic-logic-inbunden-engBuyersclub Channable feed
brandSpringer Science+Business MediaBuyersclub Channable feed
price1519.00 SEKBuyersclub Channable feed
titleA Short Introduction to Intuitionistic Logic (inbunden, eng)Buyersclub Channable feed
conditionnewBuyersclub Channable feed
image_linkhttps://buyersclub.blob.core.windows.net/images/items/3818980_0_500x500.jpgBuyersclub Channable feed
sale_price1369.00 SEKBuyersclub Channable feed
descriptionIntuitionistic logic is presented here as part of familiar classical logic which allows mechanical extraction of programs from proofs. to make the material more accessible, basic techniques are presented first for propositional logic; Part …Buyersclub Channable feed
availabilityin stockBuyersclub Channable feed
google_product_categoryBöcker > Kurslitteratur > Matematik & NaturvetenskapBuyersclub Channable feed
Extras
extras.adultnoBuyersclub Channable feed
extras.priority0Buyersclub Channable feed
extras.suppliergardnersBuyersclub Channable feed
extras.total_stock2Buyersclub Channable feed
extras.member_price1225.00 SEKBuyersclub Channable feed
extras.leaf_categoryMatematik & NaturvetenskapBuyersclub Channable feed
extras.reviews_count0Buyersclub Channable feed
extras.has_ai_description0Buyersclub Channable feed
extras.pricerunner_cheapest0Buyersclub Channable feed
extras.sale_price_effective_date2026-04-11T01:08+0200/2026-05-27T01:01+0200Buyersclub Channable feed