Extensions of First-Order Logic

Extensions of First-Order Logic

Author: Maria Manzano

Publisher: Cambridge University Press

Published: 1996-03-29

Total Pages: 414

ISBN-13: 9780521354356

DOWNLOAD EBOOK

An introduction to many-sorted logic as an extension of first-order logic.


Extensions of f(R) Gravity

Extensions of f(R) Gravity

Author: Tiberiu Harko

Publisher: Cambridge University Press

Published: 2018-11-29

Total Pages: 475

ISBN-13: 1108428746

DOWNLOAD EBOOK

Presents a detailed analysis of modified theories of gravity, discussing their development, cosmological and astrophysical implications and outstanding challenges.


Technology and Isolation

Technology and Isolation

Author: Clive Lawson

Publisher: Cambridge University Press

Published: 2017-03-30

Total Pages: 243

ISBN-13: 110718083X

DOWNLOAD EBOOK

Combining classic philosophical ideas with groundbreaking recent developments in ontology, Lawson proposes a new ontology of technology, spanning several disciplines.