Logic and Structure (paperback)

Oferta empik.com : 292,99 zł

292,99 zł
- dostawa 0 zł
Pocztex - dostawa od 0 zł
Wysyłamy w 72 godziny
Produkt u dostawcy
Szybkie zakupy bez zbędnych formalności. Wybierz opcje dostawy, formę płatności i złóż zamówienie.
Dodaj do listy

Dodaj ten produkt do jednej z utworzonych przez Ciebie list i zachowaj go na później.

Najczęściej kupowane razem

3 produkty

Cena zestawu:

Dodatkowy rabat:

Wysyłamy w 72 godziny

Dirk van Dalen¿s popular textbook Logic and Structure, now in its fifth edition, provides a comprehensive introduction to the basics of classical and intuitionistic logic, model theory and G¿del¿s famous incompleteness theorem.
Propositional and predicate logic are presented in an easy-to-read style using Gentzen¿s natural deduction. The book proceeds with some basic concepts and facts of model theory: a discussion on compactness, Skolem-L¿wenheim, non-standard models and quantifier elimination. The discussion of classical logic is concluded with a concise exposition of second-order logic.
In view of the growing recognition of constructive methods and principles, intuitionistic logic and Kripke semantics is carefully explored. A number of specific constructive features, such as apartness and equality, the G¿del translation, the disjunction and existence property are also included.
The last chapter on G¿del's first incompleteness theorem is self-contained and provides a systematic exposition of the necessary recursion theory.
This new edition has been properly revised and contains a new section on ultra-products.

Tytuł: Logic and Structure
Seria: Hochschultext / Universitext
Autor: Dalen Dirk
Wydawca: Springer London , Springer London
Język wydania: english
Ilość stron: 276
Numer wydania: V
Data premiery: 2013-01-01
Rok wydania: 2012
Forma: książka
Wymiary [mm]: 14 x 235 x 155
Indeks: 32193848
 
Brak
ocen
5
0
4
0
3
0
2
0
1
0
Oceń:
W przypadku naruszenia Regulaminu Twój wpis zostanie usunięty.
Prezentowane dane dotyczą zamówień dostarczanych i sprzedawanych przez empik.

Klienci, których interesował ten produkt, oglądali też

strona produktu - rekomendacje Hello World Fry Hannah
0/5
68,99 zł
premium
strona produktu - rekomendacje Humble Pi Parker Matt
0/5
73,99 zł
premium
strona produktu - rekomendacje The Best Writing on Mathematics 2013 Null
0/5
106,99 zł
premium
strona produktu - rekomendacje Outnumbered Sumpter David
0/5
71,99 zł
premium

Opinie, uwagi, pytania

Jeśli masz pytania dotyczące sklepu empik.com odwiedź nasze strony pomocy.
Jeśli widzisz błąd lub chcesz uzyskać więcej informacji o produkcie skorzystaj z formularza kontaktowego: zgłoszenie błędu / pytanie o produkt

Twoja wiadomość została wysłana. Dziękujemy.

Administratorem podanych przez Ciebie danych osobowych jest Empik S.A. z siedzibą w Warszawie. Twoje dane będą przetwarzane w celu obsługi Twojej wiadomości z formularza kontaktowego, a także w celach statystycznych i analitycznych administratora. Więcej informacji na temat przetwarzania danych osobowych znajduje się w naszej Polityce prywatności.

Wybierz temat a następnie wypełnij dane formularza:

Pole Email jest wymagane

Pole imię i nazwisko jest wymagane

Pole Twoja wiadomość jest wymagane

pola wymagane

Jeśli chcesz skontaktować się z nami telefonicznie, skorzystaj z naszej infolini:

Centrum Wsparcia
Klienta
+48 22 462 72 50

+48 22 462 72 50

Czynne całą dobę

* z wyjątkiem świąt ustawowo wolnych od pracy

Ostatnio oglądane

Podobne do ostatnio oglądanego

Korzystając ze strony zgadzasz się na używanie plików cookie, które są instalowane na Twoim urządzeniu. Za ich pomocą zbieramy informacje, które mogą stanowić dane osobowe. Wykorzystujemy je w celach analitycznych, marketingowych oraz aby dostosować treści do Twoich preferencji i zainteresowań. Więcej o tym oraz o możliwościach zmiany ich ustawień dowiesz się w Polityce Prywatności.