EasterBlack-owned or founded brands at TargetGroceryClothing, Shoes & AccessoriesBabyHomeFurnitureKitchen & DiningOutdoor Living & GardenToysElectronicsVideo GamesMovies, Music & BooksSports & OutdoorsBeautyPersonal CareHealthPetsHousehold EssentialsArts, Crafts & SewingSchool & Office SuppliesParty SuppliesLuggageGift IdeasGift CardsClearanceTarget New ArrivalsTarget Finds#TargetStyleTop DealsTarget Circle DealsWeekly AdShop Order PickupShop Same Day DeliveryRegistryRedCardTarget CircleFind Stores

Sponsored

Categorical Logic and Type Theory - (Studies in Logic and the Foundations of Mathematics) by B Jacobs (Paperback)

Categorical Logic and Type Theory - (Studies in Logic and the Foundations of Mathematics) by  B Jacobs (Paperback) - 1 of 1
$120.00 when purchased online
Target Online store #3991

About this item

Highlights

  • This book is an attempt to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred category.
  • Author(s): B Jacobs
  • 778 Pages
  • Mathematics, Applied
  • Series Name: Studies in Logic and the Foundations of Mathematics

Description



Book Synopsis



This book is an attempt to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred category. Its intended audience consists of logicians, type theorists, category theorists and (theoretical) computer scientists.



Review Quotes




"The author's achievement in collecting and organizing a very large body of material in coherent form, ... this is first and foremost an encyclopaedic work, into which specialists will delve with much pleasure and profit... One very welcome feature of the book is a comprehensive bibliography of nearly 350 items..." --Zentralblatt für Mathematik, vol.905R.A.G. Seely"This book will be the standard reference in its field for some time to come." --The Bulletin of Symbolic Logic, Vol. 6
Dimensions (Overall): 9.21 Inches (H) x 6.14 Inches (W) x 1.55 Inches (D)
Weight: 2.36 Pounds
Suggested Age: 22 Years and Up
Series Title: Studies in Logic and the Foundations of Mathematics
Sub-Genre: Applied
Genre: Mathematics
Number of Pages: 778
Publisher: Elsevier Science
Format: Paperback
Author: B Jacobs
Language: English
Street Date: May 10, 2001
TCIN: 89574227
UPC: 9780444508539
Item Number (DPCI): 247-12-4963
Origin: Made in the USA or Imported
If the item details above aren’t accurate or complete, we want to know about it.

Shipping details

Estimated ship dimensions: 1.55 inches length x 6.14 inches width x 9.21 inches height
Estimated ship weight: 2.36 pounds
We regret that this item cannot be shipped to PO Boxes.
This item cannot be shipped to the following locations: American Samoa (see also separate entry under AS), Guam (see also separate entry under GU), Northern Mariana Islands, Puerto Rico (see also separate entry under PR), United States Minor Outlying Islands, Virgin Islands, U.S., APO/FPO

Return details

This item can be returned to any Target store or Target.com.
This item must be returned within 90 days of the date it was purchased in store, shipped, delivered by a Shipt shopper, or made ready for pickup.
See the return policy for complete information.

Related Categories

Get top deals, latest trends, and more.

Privacy policy

Footer

About Us

About TargetCareersNews & BlogTarget BrandsBullseye ShopSustainability & GovernancePress CenterAdvertise with UsInvestorsAffiliates & PartnersSuppliersTargetPlus

Help

Target HelpReturnsTrack OrdersRecallsContact UsFeedbackAccessibilitySecurity & FraudTeam Member Services

Stores

Find a StoreClinicPharmacyOpticalMore In-Store Services

Services

Target Circle™Target Circle™ CardTarget Circle 360™Target AppRegistrySame Day DeliveryOrder PickupDrive UpFree 2-Day ShippingShipping & DeliveryMore Services
PinterestFacebookInstagramXYoutubeTiktokTermsCA Supply ChainPrivacyCA Privacy RightsYour Privacy ChoicesInterest Based AdsHealth Privacy Policy