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 €

Contacto

Como comprar

Ajuda

A minha conta

▸ Vazio :-(

First-Order Modal Logic

Name: First-Order Modal Logic
Brand: Springer
SKU: 05250596
Price: 211.63 EUR
Availability: InStock
Author: M. Fitting
ISBN: 9780792353348

M. Fitting

Richard L. Mendelsohn

Língua

Inglês

Livro Livro de capa dura

Código Libristo: 05250596

Editoras Springer, outubro 1998

Fitting and Mendelsohn present a thorough treatment of first-order modal logic, together with some p... Descrição completa

Código Libristo: 05250596

512 b

211.63 €

50% de hipóteses Procuremos no mundo Quando vou receber o meu livro?

Política de devolução de 30 dias

Também pode estar interessado em

Linear Representations of Finite Groups Jean-Pierre Serre

Capa mole

50.32 €

Clean Code Robert C. Martin

Capa mole

44.95 €

Publish/Subscribe Systems - Design and Principles Sasu Tarkoma

Capa mole

92.75 €

Chainsaw Man, Vol. 17 Tatsuki Fujimoto

Capa mole

8.70 €

One Dark Window (Deluxe Limited Hardcover Edition) Rachel Gillig

Livro de capa dura

20.65 €

Diary of a Wimpy Kid 19: Hot Mess Jeff Kinney

Livro de capa dura

9.91 €

The Art and Making of Arcane (Gaming) Elisabeth Vincentelli

Livro de capa dura

35.53 €

Emotionally Intelligent Leadership for Students - Basic Facilitator Set, 2e Rosanna Miguel

Capa mole

62.57 €

Creating Great Customer Service Herbert M. Sancianco

Adobe ePub DRM

1.81 €

A Little Life Hanya Yanagihara

Capa mole

7.99 €

The Pumpkin Spice Café Laurie Gilmore

Capa mole

7.89 €

Jujutsu Kaisen, Vol. 24 Gege Akutami

Capa mole

8.09 €

Nothing Like the Movies Lynn Painter

Capa mole

7.08 €

Seraph of the End: Guren Ichinose: Catastrophe at Sixteen (Manga) 4 Takaya Kagami

Capa mole

15.58 €

Classroom of the Elite (Light Novel) Vol. 1 Syougo Kinugasa

Capa mole

9.91 €

Gift Card Designing Pedro J. (Pedro Joseph) 1882-... Lemos

Capa mole

14.07 €

more than a gift card: 31 envelope folds and more, sized to wrap gift cards and other small stuff Susan Petty

Capa mole

14.07 €

Little Stranger Leigh Rivers

Capa mole

15.79 €

Dairy Free Baking Cookbook: Easy and Delicious Dairy Free Baking and Dessert Recipes Karen Evans

Capa mole

7.99 €

First-Order Logic and Automated Theorem Proving Melvin Fitting

Capa mole

80.80 €

This Isn`t the Life I Signed Up For - ...But I`m Finding Hope and Healing Donna Partow

Capa mole

11.13 €

Heated Rivalry Rachel Reid

Capa mole

8.70 €

German Army Uniforms of World War II Stephen Bull

Livro de capa dura

26.93 €

First order equation workbook James Richards

Capa mole

8.80 €

Fitting and Mendelsohn present a thorough treatment of first-order modal logic, together with some propositional background. They adopt throughout a threefold approach. Semantically, they use possible world models; the formal proof machinery is tableaus; and full philosophical discussions are provided of the way that technical developments bear on well-known philosophical problems. The book covers quantification itself, including the difference between actualist and possibilist quantifiers; equality, leading to a treatment of Frege's morning star/evening star puzzle; the notion of existence and the logical problems surrounding it; non-rigid constants and function symbols; predicate abstraction, which abstracts a predicate from a formula, in effect providing a scoping function for constants and function symbols, leading to a clarification of ambiguous readings at the heart of several philosophical problems; the distinction between nonexistence and nondesignation; and definite descriptions, borrowing from both Fregean and Russellian paradigms.