Smith Corona

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

Algebraic Theories: A Categorical Introduction to General Algebra by J. Adámek
Algebraic Theories: A Categorical Introduction to General Algebra by J. Adámek

$128.69

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

$293.07

View Details
Introduction to Higher Order Categorical Logic by J. Lambek (English) Paperback
Introduction to Higher Order Categorical Logic by J. Lambek (English) Paperback

$93.11

View Details
Handbook of Categorical Algebra: Volume 2, Categories and Structures by Francis
Handbook of Categorical Algebra: Volume 2, Categories and Structures by Francis

$270.77

View Details
Introduction to Higher Order Categorical Logic (Paperback or Softback)
Introduction to Higher Order Categorical Logic (Paperback or Softback)

$88.67

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

$111.72

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
Categorical Foundations: Special Topics in Order, Topology, Algebra, and Sheaf T
Categorical Foundations: Special Topics in Order, Topology, Algebra, and Sheaf T

$200.77

View Details
Handbook of Categorical Algebra: Volume 1, Basic Category Theory by Borceux
Handbook of Categorical Algebra: Volume 1, Basic Category Theory by Borceux

$182.00

View Details
Monoidal Topology : A Categorical Approach to Order, Metric, and Topology, Ha...
Monoidal Topology : A Categorical Approach to Order, Metric, and Topology, Ha...

$195.57

View Details