Computational Logic and Set Theory

dc.contributor.author	Jacob T. Schwartz
dc.date.accessioned	2023-08-14T10:00:17Z
dc.date.available	2023-08-14T10:00:17Z
dc.date.issued	2011
dc.identifier.isbn	978-0-85729-808-9
dc.identifier.uri	http://hdl.handle.net/123456789/7005
dc.publisher	Springer	en_US
dc.title	Computational Logic and Set Theory	en_US
dc.type	Book	en_US