Bookfolio
Rachunki sekwentowe w logice klasycznej

Rachunki sekwentowe w logice klasycznej

Andrzej Indrzejczak

informatyka, matematyka

Szczegóły

Rok wydania

2013

Liczba stron

300 str.

Wydawnictwo

Wydawnictwo Uniwersytetu Łódzkiego

Język

polski

Format

papier

Gatunek

informatyka, matematyka

ISBN

9788375258127

Inne książki autora

Opinie czytelników

Oceń tę książkę

0/10
2026-08-15

Oceniona książka trafi na półkę Przeczytane.

Bezpłatne konto Bookfolio

Dodaj „Rachunki sekwentowe w logice klasycznej" do swojej półki

Załóż darmowe konto i miej swoje lektury, oceny oraz postępy w jednym miejscu. Dołącz do grona zadowolonych czytelników, którzy już wiedzą, co przeczytali i co chcą przeczytać.

Przykład: post o przeczytanej książce
Przykład: kalendarz miesiąca

Trzy półki czytelnicze

Przeczytane, Teraz czytam i Chcę przeczytać. Uporządkuj swoje książki w sekundy.

Oceny i recenzje

Skala 1-10, prywatne notatki, ulubione cytaty. Wracaj do swoich opinii kiedy chcesz.

Statystyki i wyzwania

Ustal roczny cel czytelniczy i obserwuj jak rośnie liczba przeczytanych stron.

Rekomendacje i grafiki

Odkrywaj kolejne tytuły i generuj estetyczne podsumowania roku w książkach.