Proof Methods for Modal and Intuitionistic Logics - Synthese Library - M. Fitting - Boeken - Springer - 9789048183814 - 25 december 2010
Indien omslag en titel niet overeenkomen, is de titel correct

M. Fitting
Proof Methods for Modal and Intuitionistic Logics - Synthese Library Softcover reprint of the original 1st ed. 1983 edition

Prijs
€ 191,49

Besteld in een afgelegen magazijn

Verwachte levering 10 - 18 sep.
Ontvang meldingen over nieuwe releases van M. Fitting

Onze klanten zeggen:

14 dagen retourrecht in overeenstemming met de Europese consumentenbeschermingswetgeving
Topnotering op Trustpilot
Voeg toe aan uw iMusic-verlanglijst

Nog niet beoordeeld

Ook verkrijgbaar als:

The ones we consider are: 1) tableau systems, 2) Gentzen sequent calculi, 3) natural deduction systems, and 4) axiom systems.

555 pages, biography

Media Boeken     Paperback Book   (Boek met zachte kaft en gelijmde rug)
Vrijgegeven 25 december 2010
ISBN13 9789048183814
Uitgevers Springer
Pagina's 555
Afmetingen 301 × 154 × 35 mm   ·   743 g
Taal en grammatica Engels  

Meer door M. Fitting

Alles tonen

Meer van dezelfde uitgever

Bekijk alles van M. Fitting ( bijv. Hardcover Book en Paperback Book )