Verificar estado da encomenda

Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente

Correio DHL 7.99 € Correio DPD 4.49 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 € Ponto GLS 4.49 €

Contacto

Como comprar

Ajuda

A minha conta

▸ Vazio :-(

Functional Interpretation Of Logical Deduction, The

Name: Functional Interpretation Of Logical Deduction, The
Brand: World Scientific Publishing Co Pte Ltd
SKU: 04430072
Price: 107.15 EUR
Availability: InStock
Author: Ruy J G B de Queiroz
ISBN: 9789814360951

Ruy J G B de Queiroz

Língua

Inglês

Livro Livro de capa dura

Código Libristo: 04430072

Editoras World Scientific Publishing Co Pte Ltd, novembro 2011

This comprehensive book provides an adequate framework to establish various calculi of logical infer... Descrição completa

Código Libristo: 04430072

259 b

107.15 €

Armazenamento externo Envio em 10-13 dias

Até 30 dias para devoluções

Os clientes também compraram

Cara 2 Ralf Leuther

Capa mole

7.37 €

Sądownictwo polskie (nieniemieckie) w dystrykcie lubelskim Generalnego Gubernatorstwa w latach 1939- Mielnik Hubert

Capa mole

12.73 €

Tanzpädagogik & Tanzmedizin Judith-Elisa Kaufmann

Capa mole

26.78 €

Lenguas minoritarias en europa y estandarizacion Javier Giralt

Livro de capa dura

20.31 €

Romancero de la sierra de Guadalajara Vacas Moreno

Livro

18.29 €

Mops

Livro de capa dura

19.40 €

Ergebnisse Der Inneren Medizin Und Kinderheilkunde L. Langstein

Capa mole

53.06 €

Drei sehr leichte Stücke aus dem "Album für die Jugend", Klavier Robert Schumann

binding.

17.28 €

Klartext kompakt. Autismus und Studium Bernhard J Schmidt

Capa mole

7.88 €

Spitfire Mk. V - 3.díl Miroslav Šnajdr

Capa mole

3.93 €

Geschenkpapier Vollton grün be., 25 Bogen (70 x 100 cm)

Brinquedo

33.35 €

Marie-Jo y sus dos amores Robert Guediguian

Capa mole

18.19 €

Gradus ad mortem, IV-V-VI Jesús Pardo

Capa mole

16.47 €

Sinestesias: arte, literatura y música en el París fin de siglo (1880-1900) Hernández Barbosa

Capa mole

19.30 €

Essai Sur L'Exp'rience de La Mort. Suivi de: Le Probl'me Moral Du Suicide Paul-Louis Landsberg

Capa mole

7.37 €

Programa flexible de auditoria Ana Isabel Barocio Torres

Capa mole

32.04 €

Die Hebezeuge. Theorie und Kritik ausgeführter Konstruktionen mit besonderer Berücksichtigung der elektrischen Anlagen. Ein Handbuch für Ingenieure, T Ad. Ernst

Capa mole

48.31 €

This comprehensive book provides an adequate framework to establish various calculi of logical inference. Being an 'enriched' system of natural deduction, it helps to formulate logical calculi in an operational manner. By uncovering a certain harmony between a functional calculus on the labels and a logical calculus on the formulas, it allows mathematical foundations for systems of logic presentation designed to handle meta-level features at the object-level via a labelling mechanism, such as the D Gabbay's Labelled Deductive Systems. The book truly demonstrates that introducing of 'labels' is useful to understand the proof-calculus itself, and also to clarify its connections with model-theoretic interpretations.