Logical Frameworks for Truth and Abstraction: Volume 135 Image close
Logical Frameworks for Truth and Abstraction: Volume 135 on Hardback by A. Cantini
Logical Frameworks for Truth and Abstraction: Volume 135 on Hardback by A. Cantini
Show Hide Adult Content
Logical Frameworks for Truth and Abstraction: Volume 135 close

Non-Fiction Books:

Home  
Books  
Non-Fiction  
Maths & Science  
Mathematics  
Mathematical foundations  
Set theory

Logical Frameworks for Truth and Abstraction: Volume 135

An Axiomatic Study
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

By:

Format:

Hardback
$465.99
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley

Buy Now, Pay Later with:

4 payments of $116.50 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 12-24 June using International Courier

Explore more Studies in Logic & the Foundations of Mathematics

See all products in this series

Classical Recursion Theory: Volume 125 by P. Odifreddi
$264.99
Classical Recursion Theory: Volume 125
by P. Odifreddi ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Set Theory An Introduction To Independence Proofs: Volume 102 on Hardback by K. Kunen
$264.99
Set Theory An Introduction To Independence Proofs: Volume 102
by K. Kunen ~ Hardback
Available - Usually ships in 3-4 weeks
Constructivism in Mathematics: Volume 121 by A.S. Troelstra
$142.99
Constructivism in Mathematics: Volume 121
by A.S. Troelstra ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Lectures on the Curry-Howard Isomorphism: Volume 149 on Hardback by Pawel Urzyczyn
$412.99
Lectures on the Curry-Howard Isomorphism: Volume 149
by Pawel Urzyczyn ~ Hardback
Available - Usually ships in 3-4 weeks
Realizability: Volume 152 on Hardback by Jaap Van Oosten
$448.99
Realizability: Volume 152
by Jaap Van Oosten ~ Hardback
Available - Usually ships in 3-4 weeks
Categorical Logic and Type Theory: Volume 141 by B. Jacobs
$341.99
Categorical Logic and Type Theory: Volume 141
by B. Jacobs ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Residuated Lattices: An Algebraic Glimpse at Substructural Logics: Volume 151 on Hardback by Nikolaos Galatos
$388.99
Residuated Lattices: An Algebraic Glimpse at Substructural Logics:...
by Nikolaos Galatos ~ Hardback
Available - Usually ships in 3-4 weeks
Language in Action: Volume 130 on Hardback by J Van Benthem
$332.99
Language in Action: Volume 130
by J Van Benthem ~ Hardback
Available - Usually ships in 3-4 weeks
Rudiments of Calculus: Volume 146 on Hardback
$267.99
Rudiments of Calculus: Volume 146
Hardback
Available - Usually ships in 3-4 weeks
Tools and Techniques in Modal Logic: Volume 142 on Hardback by M. Kracht
$427.99
Tools and Techniques in Modal Logic: Volume 142
by M. Kracht ~ Hardback
Available - Usually ships in 3-4 weeks
Many-Dimensional Modal Logics: Theory and Applications: Volume 148 on Hardback by A Kurucz
$474.99
Many-Dimensional Modal Logics: Theory and Applications: Volume 148
by A Kurucz ~ Hardback
Available - Usually ships in 3-4 weeks
Relation Algebras by Games: Volume 147 on Hardback by R. Hirsch
$419.99
Relation Algebras by Games: Volume 147
by R. Hirsch ~ Hardback
Available - Usually ships in 3-4 weeks
Handbook of Computability Theory: Volume 140 on Hardback
$509.99
Handbook of Computability Theory: Volume 140
Hardback
Available - Usually ships in 3-4 weeks
Constructivism in Mathematics, Vol 1: Volume 121 on Hardback by A.S. Troelstra
$607.99
Constructivism in Mathematics, Vol 1: Volume 121
by A.S. Troelstra ~ Hardback
Available - Usually ships in 3-4 weeks
Quantification in Nonclassical Logic: Volume 153 on Hardback by Dimitrij Skvortsov
$576.99
Quantification in Nonclassical Logic: Volume 153
by Dimitrij Skvortsov ~ Hardback
Available - Usually ships in 3-4 weeks
Computable Structures and the Hyperarithmetical Hierarchy: Volume 144 on Hardback by C.J. Ash
$364.99
Computable Structures and the Hyperarithmetical Hierarchy: Volume 144
by C.J. Ash ~ Hardback
Available - Usually ships in 3-4 weeks

Description

This English translation of the author's original work has been thoroughly revised, expanded and updated. The book covers logical systems known as type-free or self-referential. These traditionally arise from any discussion on logical and semantical paradoxes. This particular volume, however, is not concerned with paradoxes but with the investigation of type-free sytems to show that: (i) there are rich theories of self-application, involving both operations and truth which can serve as foundations for property theory and formal semantics; (ii) these theories provide a new outlook on classical topics, such as inductive definitions and predicative mathematics; (iii) they are particularly promising with regard to applications. Research arising from paradoxes has moved progressively closer to the mainstream of mathematical logic and has become much more prominent in the last twenty years. A number of significant developments, techniques and results have been discovered. Academics, students and researchers will find that the book contains a thorough overview of all relevant research in this field.
Release date Australia
March 14th, 1996
Author
Audience
  • Professional & Vocational
Country of Publication
United States
Imprint
North-Holland
Pages
460
Publisher
Elsevier Science & Technology
Dimensions
156x234x27
ISBN-13
9780444823069
Product ID
2771275

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Non-Fiction >
Maths & Science >
Mathematics >
Mathematical foundations >
Set theory