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 Express One 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto Pošte Slovenije 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.

Lectures on Linear Logic

Name: Lectures on Linear Logic
Brand: Centre for the Study of Language & Information
SKU: 04762601
Price: 26.19 EUR
Availability: PreOrder
Author: A. S. Troelstra
ISBN: 9780937073773

A. S. Troelstra

Jezik

Angleščina

Knjiga Mehka

Založba Centre for the Study of Language & Information, maj 1992

The initial sections of this text deal with syntactical matters such as logical formalism, cut-elimi... Celoten opis

Koda Libristo: 04762601

63 b

Kmalu

26.19 €

Pričakovani ponatis

Datum neznan

Do 30 dni za vračilo

Drugi so kupili tudi

Scooter Forever (Limited Deluxe Box) Scooter

Zvočni CD

27.10 €

Lignes de vie PACHECO Christophe PACHECO

Mehka

15.26 €

Moriria por ti Fitzgerald

MP3

12.84 €

Indigenous Knowledge Systems and Youth Entrepreneurship Lethiwe Zondo

Trda

108.43 €

The initial sections of this text deal with syntactical matters such as logical formalism, cut-elimination, and the embedding of intuitionistic logic in classical linear logic. Concluding chapters focus on proofnets for the multiplicative fragment and the algorithmic interpretation of cut-elimination in proofnets.