Logical Frameworks for Truth and Abstraction,135: An Axiomatic Study: Volume 135 (Studies in Logic and the Foundations of Mathematics)

New
Illustrated
1996
$195.26

Covers logical systems known as type-free or self-referential. This book shows that there are theories of self-application, involving both operations and truth which can serve as foundations for property theory and formal semantics.

Synopsis

Covers logical systems known as type-free or self-referential. This book shows that there are theories of self-application, involving both operations and truth which can serve as foundations for property theory and formal semantics.

$195.26

Quantity

20+ in stock

More Information

Format: Illustrated
Pages: 250
Edition: Illustrated
Publisher: Elsevier
Published: 14 Mar 1996
ISBN 10: 0444823069
ISBN 13: 9780444823069

Logical Frameworks for Truth and Abstraction,135: An Axiomatic Study: Volume 135 (Studies in Logic and the Foundations of Mathematics)

New

$195.26

Synopsis

$195.26

More Information