Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Provjerite status narudžbe

Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun

Besplatna dostava Overseas kurirskom službom iznad 69.99 €

DPD kurir 3.99 € Pošta 4.99 € Overseas 4.99 € Box Now 4.49 € GLS 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €

Kontakt

Kako kupovati

Pomoć

Moj račun

▸ Prazno :-(

Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Tableau Methods for Propositional Logic and Term Logic

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

Jan Hartman

Tomasz Jarmuzek

Jezik

Engleski

Knjiga Tvrdi uvez

Libristo kod: 33612825

Nakladnici Peter Lang AG, siječanj 2021

The book aims to formalise tableau methods for the logics of propositions and names. The methods des... Cijeli opis

Libristo kod: 33612825

158 b

65.32 €

Vanjske zalihe Šaljemo za 10-18 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

Histoires de Femmes J. a. Lion

Meki uvez

9.38 €

VAMPIROS

Meki uvez

79.76 €

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

Meki uvez

9.48 €

The Thinking Machine Stephen Witt

Tvrdi uvez

26.44 €

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.