Logic of Arithmetic: The Logic of Arithmatic Vol 3 (Lectures on Mathematical Logic)
5 Angebote vergleichen
Preise | 2012 | 2013 | 2014 | 2015 | 2017 |
---|---|---|---|---|---|
Schnitt | € 120,99 | € 71,78 | € 73,82 | € 107,06 | € 94,08 |
Nachfrage |
1
Logic of Arithmetic (Lectures on Mathematical Logic) (2000)
EN HC NW
ISBN: 9789056992682 bzw. 9056992686, in Englisch, 312 Seiten, CRC Press, gebundenes Buch, neu.
جديد من: $82.76 (8 ويقدم)
تستخدم من: $108.03 (4 ويقدم)
إظهار المزيد 12 ويقدم في Amazon.com
Lieferung aus: Vereinigte Staaten von Amerika, Usually ships in 1-2 business days.
Von Händler/Antiquariat, SuperBookDeals--.
For propositional logic it can be decided whether a formula has a deduction from a finite set of other formulas. This volume begins with a method to decide this for the quantified formulas of those fragments of arithmetic which express the properties of order-plus-successor and of order-plus-addition (Pressburger arithmetic). It makes use of an algorithm eliminating quantifiers which, in turn, is also applied to obtain consistency proofs for these fragments. Hardcover, التسمية: CRC Press, CRC Press, مجموعة المنتجات: Book, ونشرت: 2000-05-30, ستوديو: CRC Press, رتبة المبيعات: 12018967.
Von Händler/Antiquariat, SuperBookDeals--.
For propositional logic it can be decided whether a formula has a deduction from a finite set of other formulas. This volume begins with a method to decide this for the quantified formulas of those fragments of arithmetic which express the properties of order-plus-successor and of order-plus-addition (Pressburger arithmetic). It makes use of an algorithm eliminating quantifiers which, in turn, is also applied to obtain consistency proofs for these fragments. Hardcover, التسمية: CRC Press, CRC Press, مجموعة المنتجات: Book, ونشرت: 2000-05-30, ستوديو: CRC Press, رتبة المبيعات: 12018967.
2
Logic of Arithmetic: The Logic of Arithmatic Vol 3 (Lectures on Mathematical Logic) (2000)
EN HC NW
ISBN: 9789056992682 bzw. 9056992686, Band: 3, in Englisch, 312 Seiten, CRC Press, gebundenes Buch, neu.
جديد من: £65.24 (14 ويقدم)
تستخدم من: £64.71 (4 ويقدم)
إظهار المزيد 18 ويقدم في Amazon.co.uk
Lieferung aus: Vereinigtes Königreich Großbritannien und Nordirland, Usually dispatched within 1-2 business days, بالإضافة إلى الشحن (في حالة شحنها).
Von Händler/Antiquariat, -SuperBookDeals-.
For propositional logic it can be decided whether a formula has a deduction from a finite set of other formulas. This volume begins with a method to decide this for the quantified formulas of those fragments of arithmetic which express the properties of order-plus-successor and of order-plus-addition (Pressburger arithmetic). It makes use of an algorithm eliminating quantifiers which, in turn, is also applied to obtain consistency proofs for these fragments. Hardcover, التسمية: CRC Press, CRC Press, مجموعة المنتجات: Book, ونشرت: 2000-05-30, تاريخ الإصدار: 2000-05-30, ستوديو: CRC Press, رتبة المبيعات: 8500534.
Von Händler/Antiquariat, -SuperBookDeals-.
For propositional logic it can be decided whether a formula has a deduction from a finite set of other formulas. This volume begins with a method to decide this for the quantified formulas of those fragments of arithmetic which express the properties of order-plus-successor and of order-plus-addition (Pressburger arithmetic). It makes use of an algorithm eliminating quantifiers which, in turn, is also applied to obtain consistency proofs for these fragments. Hardcover, التسمية: CRC Press, CRC Press, مجموعة المنتجات: Book, ونشرت: 2000-05-30, تاريخ الإصدار: 2000-05-30, ستوديو: CRC Press, رتبة المبيعات: 8500534.
3
Symbolbild
Logic of Arithmetic (Lectures on Mathematical Logic)
NL US
ISBN: 9789056992682 bzw. 9056992686, in Holländisch, CRC Press, gebraucht.
Lieferung aus: Vereinigtes Königreich Großbritannien und Nordirland, تكاليف الشحن إلى: YEM.
Von Händler/Antiquariat, Better World Books Ltd.
CRC Press. Used - Very Good. Ships from the UK. Former Library book. Great condition for a used book! Minimal wear. 100% Money Back Guarantee. Your purchase also supports literacy charities.
Von Händler/Antiquariat, Better World Books Ltd.
CRC Press. Used - Very Good. Ships from the UK. Former Library book. Great condition for a used book! Minimal wear. 100% Money Back Guarantee. Your purchase also supports literacy charities.
4
Lectures on Mathematical Logic: The Logic of Arithmetic: Vol 003 Felscher, Walte
NL NW
ISBN: 9789056992682 bzw. 9056992686, Band: 3, in Holländisch, neu.
Lieferung aus: Vereinigtes Königreich Großbritannien und Nordirland, نوع التسليم: Flat, التسليم: في جميع أنحاء العالم, موقع العرض: United Kingdom.
Von Händler/Antiquariat, roxy*media*uk - uk_media_superstore.
سعر ثابت.
Von Händler/Antiquariat, roxy*media*uk - uk_media_superstore.
سعر ثابت.
5
Logic of Arithmetic: v.3 9789056992682 by Walter Felscher, Hardback, BRAND NEW
NL HC NW
ISBN: 9789056992682 bzw. 9056992686, in Holländisch, gebundenes Buch, neu.
Lieferung aus: Vereinigtes Königreich Großbritannien und Nordirland, نوع التسليم: Free, التسليم: في جميع أنحاء العالم, موقع العرض: NR70WF Norwich,United Kingdom, الشحن المجاني.
Von Händler/Antiquariat, oodals_uk - Oodals UK.
سعر ثابت.
Von Händler/Antiquariat, oodals_uk - Oodals UK.
سعر ثابت.
Lade…