- 5 resultaten
laagste prijs: € 85,59, hoogste prijs: € 146,27, gemiddelde prijs: € 112,77
1
Goal-Directed Proof Theory
bestellen
bij Springer.com
€ 85,59
verzending: € 0,001
bestellenGesponsorde link

Goal-Directed Proof Theory - nieuw boek

ISBN: 9789401717137

Goal Directed Proof Theory presents a uniform and coherent methodology for automated deduction in non-classical logics, the relevance of which to computer science is now widely acknowledg… Meer...

Nr. 978-94-017-1713-7. Verzendingskosten:Worldwide free shipping, , DE. (EUR 0.00)
2
Goal-Directed Proof Theory - Dov M. Gabbay/ N. Olivetti
bestellen
bij Hugendubel.de
€ 138,99
verzending: € 0,001
bestellenGesponsorde link

Dov M. Gabbay/ N. Olivetti:

Goal-Directed Proof Theory - nieuw boek

ISBN: 9789401717137

Goal-Directed Proof Theory ab 138.99 € als pdf eBook: . Aus dem Bereich: eBooks, Fachthemen & Wissenschaft, Philosophie, Medien > Bücher nein eBook als pdf eBooks > Fachthemen & Wissensch… Meer...

Verzendingskosten:In stock (Download), , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
3
Goal-Directed Proof Theory - Dov M. Gabbay/ N. Olivetti
bestellen
bij Hugendubel.de
€ 96,49
verzending: € 0,001
bestellenGesponsorde link
Dov M. Gabbay/ N. Olivetti:
Goal-Directed Proof Theory - nieuw boek

ISBN: 9789401717137

*Goal-Directed Proof Theory* / pdf eBook für 96.49 € / Aus dem Bereich: eBooks, Fachthemen & Wissenschaft, Philosophie Medien > Bücher nein eBook als pdf eBooks > Fachthemen & Wissenschaf… Meer...

Verzendingskosten:In stock (Download), , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
4
Goal-Directed Proof Theory - Dov M. Gabbay/ N. Olivetti
bestellen
bij eBook.de
€ 96,49
verzending: € 0,001
bestellenGesponsorde link
Dov M. Gabbay/ N. Olivetti:
Goal-Directed Proof Theory - nieuw boek

ISBN: 9789401717137

Goal-Directed Proof Theory: ab 96.49 € eBooks > Fachthemen & Wissenschaft > Philosophie Springer Netherlands eBook als pdf, Springer Netherlands

Verzendingskosten:in stock, , , DE. (EUR 0.00)
5
Goal-Directed Proof Theory - Dov M. Gabbay; N. Olivetti
bestellen
bij lehmanns.de
€ 146,27
verzending: € 0,001
bestellenGesponsorde link
Dov M. Gabbay; N. Olivetti:
Goal-Directed Proof Theory - nieuw boek

2013, ISBN: 9789401717137

eBooks, eBook Download (PDF), [PU: Springer Netherlands], Springer Netherlands, 2013

Verzendingskosten:Download sofort lieferbar. (EUR 0.00)

1Aangezien sommige platformen geen verzendingsvoorwaarden meedelen en deze kunnen afhangen van het land van levering, de aankoopprijs, het gewicht en de grootte van het artikel, een eventueel lidmaatschap van het platform, een rechtstreekse levering door het platform of via een derde aanbieder (Marktplaats), enz., is het mogelijk dat de door euro-boek.nl meegedeelde verzendingskosten niet overeenstemmen met deze van het aanbiedende platform.

Bibliografische gegevens van het best passende boek

Bijzonderheden over het boek

Gedetalleerde informatie over het boek. - Goal-Directed Proof Theory


EAN (ISBN-13): 9789401717137
Verschijningsjaar: 2013
Uitgever: Springer Netherlands

Boek bevindt zich in het datenbestand sinds 2015-12-04T16:53:44+01:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2023-11-29T17:05:22+01:00 (Amsterdam)
ISBN/EAN: 9789401717137

ISBN - alternatieve schrijfwijzen:
978-94-017-1713-7
alternatieve schrijfwijzen en verwante zoekwoorden:
Auteur van het boek: olivetti, dov gabbay, olivet
Titel van het boek: proof theory, olivetti


Gegevens van de uitgever

Auteur: Dov M. Gabbay; N. Olivetti
Titel: Applied Logic Series; Goal-Directed Proof Theory
Uitgeverij: Springer; Springer Netherland
268 Bladzijden
Verschijningsjaar: 2013-04-17
Dordrecht; NL
Taal: Engels
96,29 € (DE)
99,00 € (AT)
118,00 CHF (CH)
Available
X, 268 p.

EA; E107; eBook; Nonbooks, PBS / Philosophie/Allgemeines, Lexika; Philosophie: Logik; Verstehen; automated deduction; logic; modal logic; proof; proof theory; C; Logic; Programming Languages, Compilers, Interpreters; Logic; Compilers and Interpreters; Mathematics and Statistics; Compiler und Übersetzer; BB

1. Introduction. 2. Intuitionistic and Classical Logics. 3. Intermediate Logics. 4. Modal Logics of Strict Implication. 5. Substructural Logics. 6. Conclusions and Further Work. Bibliography. Index.

Andere boeken die eventueel grote overeenkomsten met dit boek kunnen hebben:

Laatste soortgelijke boek:
9789048155262 Goal-Directed Proof Theory (Dov M. Gabbay N. Olivetti)


< naar Archief...