Catalog > Scienza > Matematica > B. Jacobs: Categorical Logic and Type Theory (PDF)

B. Jacobs
Categorical Logic and Type Theory [PDF ebook]

Supporto

Copertina di B. Jacobs: Categorical Logic and Type Theory (PDF)

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.

€192.61

Acquista questo ebook e ricevine 1 in più GRATIS!

Lingua Inglese ● Formato PDF ● ISBN 9780080528700 ● Casa editrice Elsevier Science ● Pubblicato 1999 ● Scaricabile 6 volte ● Moneta EUR ● ID 2261060 ● Protezione dalla copia Adobe DRM

Richiede un lettore di ebook compatibile con DRM

Altri ebook dello stesso autore / Editore

50.053 Ebook in questa categoria

Copertina di Jerry Butters & Jim Henle: The Baseball Mysteries

Jerry Butters & Jim Henle: The Baseball Mysteries

The Baseball Mysteries: Challenging Puzzles for Logical Detectives is a book of baseball puzzles, logical baseball puzzles. To jump in, all you need is logic and a casual fan’s knowledge of the game. …

Copertina di Mark (Albion College, Albion, Michigan, USA) Bollman: Basic Gambling Mathematics

Mark (Albion College, Albion, Michigan, USA) Bollman: Basic Gambling Mathematics

Basic Gambling Mathematics: The Numbers Behind the Neon, Second Edition explains the mathematics involved in analyzing games of chance, including casino games, horse racing and other sports, and lott …

Copertina di H.F Jones: Groups, Representations and Physics

H.F Jones: Groups, Representations and Physics

Illustrating the fascinating interplay between physics and mathematics, Groups, Representations and Physics, Second Edition provides a solid foundation in the theory of groups, particularly group rep …

Copertina di Vidyadhar S. (Michigan State University, East Lansing, USA) Mandrekar & David A. (Indiana University-Purdue University, Fort Wayne) Redett: Weakly Stationary Random Fields, Invariant Subspaces and Applications

Vidyadhar S. (Michigan State University, East Lansing, USA) Mandrekar & David A. (Indiana University-Purdue University, Fort Wayne) Redett: Weakly Stationary Random Fields, Invariant Subspaces and Applications

The first book to examine weakly stationary random fields and their connections with invariant subspaces (an area associated with functional analysis). It reviews current literature, presents central …

Copertina di Ivan Cimrak & Iveta Jancigova: Computational Blood Cell Mechanics

Ivan Cimrak & Iveta Jancigova: Computational Blood Cell Mechanics

Simulating blood cells for biomedical applications is a challenging goal. Whether you want to investigate blood flow behavior on the cell scale, or use a blood cell model for fast computational proto …

Copertina di Jason M. (George Mason University, Fairfax, VA USA) Kinser: Image Operators

Jason M. (George Mason University, Fairfax, VA USA) Kinser: Image Operators

For decades, researchers have been developing algorithms to manipulate and analyze images. From this, a common set of image tools now appear in many high-level programming languages. Consequently, th …

Copertina di Charles (Indiana State University, Terre Haute, USA) Roberts: Elementary Differential Equations

Charles (Indiana State University, Terre Haute, USA) Roberts: Elementary Differential Equations

Elementary Differential Equations, Second Edition is written with the knowledge that there has been a dramatic change in the past century in how solutions to differential equations are calculat …

Copertina di B.L.S. Prakasa Rao: Semimartingales and their Statistical Inference

B.L.S. Prakasa Rao: Semimartingales and their Statistical Inference

Statistical inference carries great significance in model building from both the theoretical and the applications points of view. Its applications to engineering and economic systems, financial econo …

Copertina di Bin Jia & Ming (University of Missouri) Xin: Grid-based Nonlinear Estimation and Its Applications

Bin Jia & Ming (University of Missouri) Xin: Grid-based Nonlinear Estimation and Its Applications

Grid-based Nonlinear Estimation and its Applications presents new Bayesian nonlinear estimation techniques developed in the last two decades. Grid-based estimation techniques are based on efficient a …

Copertina di Ning (Michigan State University, East Lansing, USA) Xi & Mingjun (The Ohio State University, USA) Zhang: Nanomedicine

Ning (Michigan State University, East Lansing, USA) Xi & Mingjun (The Ohio State University, USA) Zhang: Nanomedicine

This book offers a fundamental and comprehensive overview of nanomedicine from a systems engineering perspective, making it the first book in the field of quantitative nanomedicine based on systems t …

Pagina successiva >>>