Livrare gratuită pentru comenzile peste 349,00 lei.

Verifică starea comenzii

Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit

Transport gratuit la punctele de livrare Pick Up peste 349.00 lei

Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei

Contact

Cum să cumpăr

Ajutor

Contul meu

▸ Gol :-(

Livrare gratuită pentru comenzile peste 349,00 lei.

Tableau Methods for Propositional Logic and Term Logic

Name: Tableau Methods for Propositional Logic and Term Logic
Brand: Peter Lang AG
SKU: 33612825
Price: 343.55 RON
Availability: InStock
Author: Jan Hartman
ISBN: 9783631833728

Jan Hartman

Tomasz Jarmuzek

Limba

engleză

Carte Copertă tare

Codul Libristo: 33612825

Editura Peter Lang AG, ianuarie 2021

The book aims to formalise tableau methods for the logics of propositions and names. The methods des... Descrierea completă

Codul Libristo: 33612825

158 b

343.55 lei

În depozitul extern Expediem în 10-18 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Histoires de Femmes J. a. Lion

Carte broșată

51.64 lei

VAMPIROS

Carte broșată

439.16 lei

?Qué Pasa Con Lo Reciclable? (Where Does Recycling Go?)

Carte broșată

52.27 lei

The Thinking Machine Stephen Witt

Copertă tare

148.08 lei

The book aims to formalise tableau methods for the logics of propositions and names. The methods described are based on Set Theory. The tableau rule was reduced to an ordered n-tuple of sets of expressions where the first element is a set of premises, and the following elements are its supersets.