Katal. Centralny UWB - Egzemplarze |
Indrzejczak, Andrzej (1964- )..: Rachunki sekwentowe w logice klasycznej / Andrzej Indrzejczak. Łódź : Wydawnictwo Uniwersytetu Łódzkiego, 2013. X, 299 s. : il. ; 25 cm. |
UKD: 162/164 Wnioskowanie. Dedukcja. Rachunek logiczny. Logika formalna. Logika symboliczna. |
Pokaz |
Kliknij link ("Zamówienie"), aby złożyć zamówienie na dany egzemplarz. |
Opis | Status egzemplarza |
Termin zwrotu |
Biblioteka | Kolekcja | Sygnatura | Symbol dzialu | Ilość zamówień |
|
---|---|---|---|---|---|---|---|---|
Szczegóły |
Na miejscu | BWEiZ | Czytelnia Ogólna | 46859 | |
© 2009 Ex Libris