|
![]() |
|||
|
||||
OverviewFull Product DetailsAuthor: Juliette Kennedy , Ruy J.G.B. de QueirozPublisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Imprint: Springer-Verlag Berlin and Heidelberg GmbH & Co. K Edition: 1st ed. 2017 Volume: 10388 Weight: 6.204kg ISBN: 9783662553855ISBN 10: 3662553856 Pages: 401 Publication Date: 30 June 2017 Audience: Professional and scholarly , Professional & Vocational Format: Paperback Publisher's Status: Active Availability: Manufactured on demand ![]() We will order this item for you from a manufactured on demand supplier. Table of ContentsLogic and Language.- Logic and Information.- Computation.- Mathematical Logic.- Theory of Computation.- Model Theory. - Proof Theory.- Type Theory. Computability Theory. - Complexity TheoryReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |