Algebra of proofs /

Autor:: Szabo, Manfred Egon.
Hasło dodatkowe:: North-Holland Publishing Company. Wydawca
Wydanie:: Second printing.
Miejsce:: Amsterdam [etc.] :
Wydany przez :: North-Holland Publishing Company,
w roku:: 1980.
Opis fizyczny:: XII, 297 stron ; 23 cm.
Seria:: (Studies in Logic and the Foundations of Mathematics ISSN 0049-237X vol. 88)
(Studies in Logic and the Foundations of Mathematics ; vol. 88)
UKD:: 510.6
511.3
Uwagi:: Bibliografia na stronach 278-284. Indeksy.
ISBN:: 0-7204-2200

Dopowiedzenie klasyfikacji (UKD):: Logika matematyczna.
Zagadnienia analitycznej, addytywnej i innych teorii liczb włączając przybliżenia diofantyczne.
Hasła przedmiotowe:: Logika kombinatoryczna.
Teoria dowodu.
Kategorie (matematyka).
Rodzaj dokumentu:: Książka

Tylko dostępne

Egzemplarz
miejsce	numer inwentarzowy	sygnatura	status	data zwrotu	ostatnia akcja w systemie	akcje
BUW BU.121763 Dostępny	BU.121763		Dostępny		10/06/2019	Zamów