London Jeans

Categorical Logic And Type Theory: Volume 141

Description: Please refer to the section BELOW (and NOT ABOVE) this line for the product details - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - Title:Categorical Logic And Type Theory: Volume 141ISBN13:9780444508539ISBN10:0444508538Author:Jacobs, B. (Author)Description: Binding:Paperback, PaperbackPublisher:Elsevier SciencePublication Date:2001-05-10Weight:2.36 lbsDimensions:1.55'' H x 9.21'' L x 6.14'' WNumber of Pages:778Language:English

Price: 137.74 USD

Location: USA

End Time: 2024-11-23T16:21:45.000Z

Shipping Cost: 0 USD

Product Images

Categorical Logic And Type Theory: Volume 141

Item Specifics

Return shipping will be paid by: Buyer

All returns accepted: Returns Accepted

Item must be returned within: 30 Days

Refund will be given as: Money Back

Return policy details:

Book Title: Categorical Logic And Type Theory: Volume 141

Item Weight: 2.36 lbs

Item Length: 9.2in

Item Width: 6.1in

Author: B. Jacobs

Publication Name: Categorical Logic and Type Theory

Format: Trade Paperback

Language: English

Publisher: Elsevier Science & Technology

Series: Studies in Logic and the Foundations of Mathematics Ser.

Publication Year: 2001

Type: Textbook

Number of Pages: 778 Pages

Recommended

Culmination of the Science of Logic, Categorical Reasoning 1888 book by J. Smith
Culmination of the Science of Logic, Categorical Reasoning 1888 book by J. Smith

$11.95

View Details
Jacobs - Categorical Logic and Type Theory - New paperback or softback - N555z
Jacobs - Categorical Logic and Type Theory - New paperback or softback - N555z

$188.75

View Details
Categorical Combinators, Sequential Algorithms, and Functional Programming by P.
Categorical Combinators, Sequential Algorithms, and Functional Programming by P.

$127.78

View Details
Programs as Diagrams: From Categorical Computability to Computable Categories
Programs as Diagrams: From Categorical Computability to Computable Categories

$111.72

View Details
First Order Categorical Logic: Model-Theoretical Methods in the Theory of Topoi
First Order Categorical Logic: Model-Theoretical Methods in the Theory of Topoi

$69.09

View Details
Introduction to Higher-order Categorical Logic (Cambridge Studies in Advanced
Introduction to Higher-order Categorical Logic (Cambridge Studies in Advanced

$61.35

View Details
UNCOUNTABLY CATEGORICAL THEORIES (TRANSLATIONS OF By Boris Zilber - Hardcover
UNCOUNTABLY CATEGORICAL THEORIES (TRANSLATIONS OF By Boris Zilber - Hardcover

$92.75

View Details
HANDBOOK OF CATEGORICAL ALGEBRA: VOLUME 3, SHEAF THEORY By Francis Borceux *NEW*
HANDBOOK OF CATEGORICAL ALGEBRA: VOLUME 3, SHEAF THEORY By Francis Borceux *NEW*

$81.95

View Details
The Existential Import of Categorical Predication: Studies in Logic by A. Wolf (
The Existential Import of Categorical Predication: Studies in Logic by A. Wolf (

$59.84

View Details
Handbook of Categorical Algebra: Volume 3, Sheaf Theory (Paperback or Softback)
Handbook of Categorical Algebra: Volume 3, Sheaf Theory (Paperback or Softback)

$56.67

View Details