Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

First-Order Modal Logic

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

M. Fitting

Richard L. Mendelsohn

Jazyk

Angličtina

Kniha Pevná

Libristo kód: 05250596

Nakladatelství Springer, říjen 1998

Fitting and Mendelsohn present a thorough treatment of first-order modal logic, together with some p... Celý popis

Libristo kód: 05250596

601 b

6 008 Kč

50 % šance Prohledáme celý svět Kdy knihu dostanu?

30 dní na vrácení zboží

Mohlo by vás také zajímat

Linear Representations of Finite Groups Jean-Pierre Serre

Brožovaná

1 291 Kč

Clean Code Robert C. Martin

Brožovaná

1 158 Kč

Publish/Subscribe Systems - Design and Principles Sasu Tarkoma

Brožovaná

2 502 Kč

Chainsaw Man, Vol. 17 Tatsuki Fujimoto

Brožovaná

240 Kč

One Dark Window (Deluxe Limited Hardcover Edition) Rachel Gillig

Pevná

536 Kč

Diary of a Wimpy Kid 19: Hot Mess Jeff Kinney

Pevná

260 Kč

The Art and Making of Arcane (Gaming) Elisabeth Vincentelli

Pevná

997 Kč

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

Brožovaná

1 601 Kč

Creating Great Customer Service Herbert M. Sancianco

Adobe ePub DRM

52 Kč

A Little Life Hanya Yanagihara

Brožovaná

210 Kč

The Pumpkin Spice Café Laurie Gilmore

Brožovaná

206 Kč

Jujutsu Kaisen, Vol. 24 Gege Akutami

Brožovaná

240 Kč

Nothing Like the Movies Lynn Painter

Brožovaná

186 Kč

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

Brožovaná

437 Kč

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

Brožovaná

284 Kč

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

Brožovaná

380 Kč

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

Brožovaná

382 Kč

Little Stranger Leigh Rivers

Brožovaná

382 Kč

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

Brožovaná

217 Kč

First-Order Logic and Automated Theorem Proving Melvin Fitting

Brožovaná

2 074 Kč

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

Brožovaná

291 Kč

Heated Rivalry Rachel Reid

Brožovaná

227 Kč

German Army Uniforms of World War II Stephen Bull

Pevná

705 Kč

First order equation workbook James Richards

Brožovaná

237 Kč

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.