Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Preverjanje stanja naročila

Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun

Brezplačna dostava Zásilkovna nad 69.99 €

Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba 3.49 € Zbirno mesto 3.49 € Zbirno mesto 3.49 € Dostava preko Pošte Slovenije 3.49 €

Kontakt

Kako nakupovati

Pomoč

Moj račun

▸ Prazna :-(

Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Proof Theory

Name: Proof Theory
Brand: Chapman and Hall/CRC
SKU: 45153399
Price: 76.51 EUR
Availability: InStock
Author: Katalin Bimbo
ISBN: 9781040058978

Sequent Calculi and Related Formalisms

Katalin Bimbo

Jezik

Angleščina

E-knjiga Adobe ePub DRM

Založba Chapman and Hall/CRC, avgust 2014

Although sequent calculi constitute an important category of proof systems, they are not as well kno... Celoten opis

Koda Libristo: 45153399

185 b

76.51 €

Na zalogi Prenesi zdaj

Although sequent calculi constitute an important category of proof systems, they are not as well known as axiomatic and natural deduction systems. Addressing this deficiency, Proof Theory: Sequent Calculi and Related Formalisms presents a comprehensive treatment of sequent calculi, including a wide range of variations. It focuses on sequent calculi