Substructural Logics

Substructural Logics pdf epub mobi txt 电子书 下载 2025

出版者:Oxford University Press, USA
作者:Schroeder-Heister, Dosen; Dosen, Kosta; Schroeder-Heister, P.
出品人:
页数:396
译者:
出版时间:1994-04-28
价格:USD 195.00
装帧:Hardcover
isbn号码:9780198537779
丛书系列:
图书标签:
  • 逻辑 
  • 计算机科学 
  • 计算机 
  • nemlophics 
  •  
想要找书就要到 小美书屋
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

Substructural logics comprise a family of nonclassical logics that arose in response to problems in theoretical computer science, mathematical linguistics, and category theory. They include intuitionist logic, relevant logic, BCK logic, linear logic, and Lambeck's calculus of synthetic categories. This book brings together new papers by some of the most eminent authorities in these various traditions in order to provide a unified view of the field. This important volume--the first to bring together the disparate strands of work in substructural logics--will be welcomed by student and professional logicians, theoretical computer scientists, theoretical linguists, philosophers, and mathematicians working in category theory and universal algebra.

具体描述

读后感

评分

评分

评分

评分

评分

用户评价

评分

评分

评分

评分

评分

本站所有内容均为互联网搜索引擎提供的公开搜索信息,本站不存储任何数据与内容,任何内容与数据均与本站无关,如有需要请联系相关搜索引擎包括但不限于百度google,bing,sogou

© 2025 book.quotespace.org All Rights Reserved. 小美书屋 版权所有