LIBRISTO
LIBROAMANTO
obowiązkowe
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 Poczta Polska 18.99 Paczkomat 13.99 InPost 12.99 Punkt DPD 13.99

Darmowa dostawa dla zamówień powyżej 299,00 zł.

First-Order Modal Logic

Język AngielskiAngielski
Książka Twarda
Książka First-Order Modal Logic M. Fitting
Kod Libristo: 05250596
Wydawnictwo Springer, październik 1998
Fitting and Mendelsohn present a thorough treatment of first-order modal logic, together with some p... Cały opis
? points 601 b
1 054.95
50 % szansa Przeszukamy cały świat Kiedy dostanę książkę?

30 dni na zwrot towaru


Mogłoby Cię także zainteresować


Linear Representations of Finite Groups Jean-Pierre Serre / Książka Miękka
common.buy 240.01
TOP
Clean Code Robert C. Martin / Książka Miękka
common.buy 215.97
TOP
Chainsaw Man, Vol. 17 Tatsuki Fujimoto / Książka Miękka
common.buy 44.76
Diary of a Wimpy Kid 19: Hot Mess Jeff Kinney / Książka Twarda
common.buy 49.18
TOP
The Art and Making of Arcane (Gaming) Elisabeth Vincentelli / Książka Twarda
common.buy 187.20
Creating Great Customer Service Herbert M. Sancianco / E-book Adobe ePub DRM
common.buy 9.14
TOP
A Little Life Hanya Yanagihara / Książka Miękka
common.buy 39.63
TOP
The Pumpkin Spice Café Laurie Gilmore / Książka Miękka
common.buy 38.82
TOP
Jujutsu Kaisen, Vol. 24 Gege Akutami / Książka Miękka
common.buy 44.76
TOP
Nothing Like the Movies Lynn Painter / Książka Miękka
common.buy 34.90
TOP
Classroom of the Elite (Light Novel) Vol. 1 Syougo Kinugasa / Książka Miękka
common.buy 49.18
Gift Card Designing Pedro J. (Pedro Joseph) 1882-... Lemos / Książka Miękka
common.buy 70.21
TOP
Little Stranger Leigh Rivers / Książka Miękka
common.buy 54.61
First-Order Logic and Automated Theorem Proving Melvin Fitting / Książka Miękka
common.buy 385.38
TOP
Heated Rivalry Rachel Reid / Książka Miękka
common.buy 42.64
TOP
German Army Uniforms of World War II Stephen Bull / Książka Twarda
common.buy 142.23
First order equation workbook James Richards / Książka Miękka
common.buy 43.85

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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa First-Order Modal Logic
Język Angielski
Oprawa Książka - Twarda
Data wydania 1998
Liczba stron 292
EAN 9780792353348
ISBN 079235334X
Kod Libristo 05250596
Wydawnictwo Springer
Waga 1350
Wymiary 155 x 235 x 21
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?