Logical Foundations of Computer Science

Please use this identifier to cite or link to this item: http://thuvienso.bvu.edu.vn/handle/TVDHBRVT/16722

Full metadata record

DC Field	Value	Language
dc.contributor.author	Sergei Artemov
dc.contributor.author	Anil Nerode
dc.date.accessioned	2018-01-15T12:56:38Z	-
dc.date.available	2018-01-15T12:56:38Z	-
dc.date.issued	2018
dc.identifier	10.1007/978-3-319-72056-2
dc.identifier.uri	http://thuvienso.bvu.edu.vn/handle/TVDHBRVT/16722	-
dc.language.iso	en
dc.publisher	Springer
dc.subject	Computer Science
dc.title	Logical Foundations of Computer Science
dc.title.alternative	Lecture Notes in Computer Science
dc.type	ebook
Appears in Collections:	Computer Science

Files in This Item:

File	Description	Size	Format
978-3-319-72056-2.pdf		7,17 MB	Adobe PDF	Sign in to read

DSpace JSPUI