Zaloguj lub zarejestruj
Lista podręczna - 0
Pomoc
Strona główna
Wyszukiwanie
Moje konto
e-Zasoby
Zaproponuj zakup książki
Przełącz język:
PB Library (angielski)
alfabetyczne
po słowach
zaawansowane
historia
Szukaj:
Autorzy - alfabetycznie
Wszystkie tytuły - alfabetycznie
Hasła przedmiotowe - alfabetycznie
Serie - alfabetycznie
Tytuł czasopisma - alfabetycznie
ISBN
ISSN
Nr kontrolny opisu
Nr systemowy opisu
Zmień kryteria wyszukiwania
> Wyszukiwanie w lokalizacji:
Biblioteka Politechniki Bydgoskiej
Egzemplarze
Egzemplarze
Więcej pozycji tego autora
Indrzejczak, Andrzej (1964- ).
Hasła przedm.
Teoria dowodu.
Rachunek zdań.
Rachunek kwantyfikatorów.
Przegląd katalogu
wg autora:
Indrzejczak, Andrzej (1964- ).
wg tytułu:
Rachunki sekwentowe ...
Opis MARC
Rachunki sekwentowe w logice klasycznej / Andrzej Indrzejczak.
Autor:
Indrzejczak, Andrzej (1964- ).
Łódź : Wydawnictwo Uniwersytetu Łódzkiego, 2013.
Hasła przedm.
Teoria dowodu.
Rachunek zdań.
Rachunek kwantyfikatorów.
Opis fiz.:
X, 299 stron : ilustracje ; 25 cm.
Uwagi o treści:
Bibliografia na stronach 276-286. Indeks.
URL:
https://wydawnictwo.uni.lodz.pl/produkt/rachunki-sekwentowe-w-logice-klasycznej
Otwarty Dostęp
http://hdl.handle.net/11089/28907
Repozytorium UŁ
Egzemplarze
Lokalizacja
Kolekcja
Typ egz.
Sygnatura
Status
Czytelnia Główna
Książki
Dostępny na miejscu
51/510
Nie wypożycza się
Dodaj egz. do listy podręcznej
Format:
HTML
Tekstowy
Oddzielone znakiem
Temat:
Wyślij do (email):
Zapraszamy do
nowego katalogu.
Horizon Information Portal 3.23.1_6655
© 2001-2015
SirsiDynix
All rights reserved.