Cane Creek

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

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

$51.30

View Details
Handbook of Categorical Algebra - Paperback, by Borceux Francis - Good
Handbook of Categorical Algebra - Paperback, by Borceux Francis - Good

$80.02

View Details
Fuzzy Logic Based Categorical Text Clustering in Data Mining by Jagatheesan, ...
Fuzzy Logic Based Categorical Text Clustering in Data Mining by Jagatheesan, ...

$22.61

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

$103.35

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

$125.37

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

$114.76

View Details
J. Lambek P. J. Introduction to Higher-Order Categorical (Paperback) (UK IMPORT)
J. Lambek P. J. Introduction to Higher-Order Categorical (Paperback) (UK IMPORT)

$84.69

View Details
Categorical Logic and Type Theory - 9780444508539
Categorical Logic and Type Theory - 9780444508539

$102.24

View Details
Future Logic : Categorical and Conditional Deduction and Induction of the Nat...
Future Logic : Categorical and Conditional Deduction and Induction of the Nat...

$34.02

View Details
First Order Categorical Logic : Model-theoretical Methods in the Theory of To...
First Order Categorical Logic : Model-theoretical Methods in the Theory of To...

$70.90

View Details