An Introduction to Category Theory

An Introduction to Category Theory

מידע ביבליוגרפי
מחבר ראשי:	Harold Simmons
פורמט:	אלקטרוני ספר אלקטרוני
שפה:	English
יצא לאור:	Cambridge University Press, 06/05/2012
מהדורה:	1
נושאים:	Logic, categories and Sets Programming Languages and Applied Logic Electronic books
גישה מקוונת:	Full text available on Cambridge University Press Off-campus access

פריטים דומים

Programming with Higher-Order Logic
מאת: Dale Miller, Gopalan Nadathur
יצא לאור: (2012)

An Introduction to Gödel's Theorems
מאת: Peter Smith
יצא לאור: (2013)

Lambda Calculus with Types
מאת: Henk Barendregt, Wil Dekkers, Richard Statman
יצא לאור: (2013)

Kurt Gödel and the Foundations of Mathematics
מאת: Edited by Matthias Baaz, Christos H. Papadimitriou, Hilary W. Putnam, Dana S. Scott, Charles L. Harper, Jr
יצא לאור: (2011)

Transitions and Trees
מאת: Hans Hüttel
יצא לאור: (2012)

Nominal Sets
מאת: Andrew M. Pitts
יצא לאור: (2013)

Practical Foundations for Programming Languages
מאת: Robert Harper
יצא לאור: (2013)

Pearls of Functional Algorithm Design
מאת: Richard Bird
יצא לאור: (2013)

Introduction to Bisimulation and Coinduction
מאת: Davide Sangiorgi
יצא לאור: (2012)

Programming in Visual Basic 2010
מאת: Jim McKeown
יצא לאור: (2012)

Steps in Scala
מאת: Christos K. K. Loverdos, Apostolos Syropoulos
יצא לאור: (2012)

Modeling in Event-B
מאת: Jean-Raymond Abrial
יצא לאור: (2013)

Systematic Program Design
מאת: Yanhong Annie Liu
יצא לאור: (2013)

Fuzzy sets and fuzzy logic : theory and applications /
מאת: Klir, George J., 1932-
יצא לאור: (2015)

Programming logic and design : comprehensive /
מאת: Farrell, Joyce
יצא לאור: (2011)

Web Data Management
מאת: Serge Abiteboul, Ioana Manolescu, Philippe Rigaux, Marie-Christine Rousset, Pierre Senellart
יצא לאור: (2012)

Introduction to logic /
מאת: Copi, Irving M.
יצא לאור: (1986)

Basics of logic /
מאת: Barker, Stephen Francis
יצא לאור: (1986)

Our logic for discussion and persuasion /
מאת: Ha, Byunghak
יצא לאור: (2000)

Recommendation framework: Improving automated collaborative filtering by trusted category
מאת: Noor, Md Sadaf
יצא לאור: (2021)

Logic Journal of the IGPL

Digital designing with programmable logic devices /
מאת: Carter, John W., 1951-
יצא לאור: (1997)

The logic of language
מאת: Seuren, Pieter A. M.

Logic and computer design fundamentals /
מאת: Mano, M. Morris, 1927-
יצא לאור: (2000)

Persuasion is logic /
מאת: Hoon-tae, Jeong

Natural language understanding /
מאת: Allen, James, 1950-
יצא לאור: (1995)

Natural language understanding /
מאת: Allen, James, 1950-
יצא לאור: (1995)

Logic, language, and meaning /
מאת: Gamut, L. T. F.
יצא לאור: (1991)

Digital logic and computer design /
מאת: Mano, M. Morris, 1927-
יצא לאור: (1979)

Digital logic and computer design /
מאת: Mano, M. Morris, 1927-
יצא לאור: (1979)

Journal of Logic and Computation

Philosophia Mathematica

Philosophia Mathematica

Digital design : a pragmatic approach /
מאת: Johnson, Everett L.
יצא לאור: (1987)

How to prove it : a structured approach /
מאת: Velleman, Daniel J.
יצא לאור: (2006)

Symbolic logic /
מאת: Copi, Irving M.
יצא לאור: (1979)

Elements of the theory of computation /
מאת: Lewis, Harry R.
יצא לאור: (1998)

Digital design /
מאת: Mano, M. Morris, 1927-
יצא לאור: (1991)

Digital and microprocessor fundamentals : theory and applications /
מאת: Kleitz, William
יצא לאור: (2000)

Fundamentals of digital logic with VHDL design /
מאת: Brown, Stephen D.
יצא לאור: (2000)