First Order Logic and Automated Theorem Proving

Name: First Order Logic and Automated Theorem Proving
SKU: 3527791
Price: 83.79 PLN
Availability: OutOfStock
Author: Melvin Fitting

Melvin Fitting

brak ocen

Rok wydania: 1990 Wydawnictwo: Springer » Rodzaj okładki: Twarda Wymiar: 18x25cm Waga: 0.5 kg EAN: 9780387945934 TIN: T02486229 Stan: Używana

Stan egzemplarza: Widoczne ślady używania

Produkt niedostępny

Powiadom mnie o dostępności tego produktu

dodaj do listy życzeń

First Order Logic and Automated Theorem Proving - Melvin Fitting

There are many kinds of books on formal logic. Some have philosophers as their intended audience, some mathematicians, some computer scien tists. Although there is a common core to all such books, they will be very different in emphasis, methods, and even appearance. This book is intended for computer scientists. But even this is not precise. Within computer science formal logic turns up in a number of areas, from pro gram verification to logic programming to artificial intelligence.

DOSTAWA

Staramy się, aby Twoje książki dotarły do Ciebie jak najszybciej. Zamówienia złożone i opłacone do godziny 10:00 wysyłamy jeszcze tego samego dnia.

FORMY DOSTAWY

Wszystkie nasze paczki bezpiecznie i szybko dostarcza InPost. Masz do wyboru:

InPost Paczkomat 24/7 - 13,99 zł (Dostawa 1-2 dni robocze)
InPost Kurier - 13,99 zł (Dostawa 1-2 dni robocze)
InPost Kurier za pobraniem - 27,99 zł (Dostawa 1-2 dni robocze)
MiniPaczka InPost - 9,00 zł (Dostawa w następny dzień roboczy)

DARMOWA DOSTAWA

Dla wszystkich zamówień o wartości powyżej 199 zł dostawa jest całkowicie darmowa!

FORMY PŁATNOŚCI

Za swoje zamówienie możesz zapłacić w wygodny dla Ciebie sposób:

Szybkie płatności online - Przelewy24 (DotPay) – szybki i bezpieczny przelew z Twojego banku, płatność kartą płatniczą, PayPal lub płatność BLIK.
Przelew tradycyjny – dane do przelewu otrzymasz w mailu potwierdzającym zamówienie.
Płatność przy odbiorze gotówką lub kartą

(Uwaga: w przypadku płatności PayPal należy wpisać e-mail odbiorcy: sklep@tezeusz.pl)

Nie dodano jeszcze żadnej opinii.

brak ocen

Musisz być zalogowanym użytkownikiem, aby dodawać opinie o produktach.

ZALOGUJ SIĘ