Holdings: Advances in natural deduction :

Saved in:

Bibliographic Details
Other Authors:	Pereira, Luiz Carlos (Editor), Haeusler, Edward Hermann (Editor), De Paiva, Valeria (Editor)
Format:	Book
Language:	English
Published:	Dordrecht : Springer, [2014]
Series:	Trends in logic. Studia logica library, volume 39
Subjects:	deduktivní logika formální logika logika matematická logika deductive logic formal logic logic mathematical logic sborníky konferencí proceedings of conferences

See ObalkyKnih.cz

For reservations/loans of the physical document, please log in.

Description	Status	Library	Collection	Call Number	Notes	Barcode
	Long term loan Due 2030-12-31	Faculty of Arts	volný výběr	filozofie-RACL		2572003133