TOP
0
0
進階搜尋

熱搜：

漫畫少年學墨菲定律

、

電影與文化冷戰

、

快速存到一桶金

、

雷驤

、

佛法是科學的終極典範

、

錢買不到的東西

、

新譯六祖壇經

、

DragonMasters 1-23

、

新基本小六法

熱搜： 漫畫少年學墨菲定律、 電影與文化冷戰、 快速存到一桶金、 雷驤、 佛法是科學的終極典範、 錢買不到的東西、 新譯六祖壇經、 DragonMasters 1-23 、 新基本小六法

165反詐騙

即日起~6/30，暑期閱讀書展，好書7折起

縮小範圍

商品類型
原文書 （30）
商品狀況
可訂購商品 （30）
庫存狀況
無庫存 （30）
商品定價
$800以上 （30）
出版日期
2022~2023 （1）
2018~2019 （5）
2016~2017 （2）
2016年以前 （22）
裝訂方式
平裝 （6）
精裝 （24）
作者
Andreas Kapsner （1）
Annalisa Marcja/ Carlo Toffalori （1）
Christian Stra_er （1）
David Makinson (EDT)/ Jacek Malinowski (EDT)/ Heinrich Wansing (EDT) （1）
David Makinson/ Jacek Malinowski/ Heinrich Wansing （1）
Erich Peter Klement/ Radko Mesiar/ Endre Pap （1）
Ewa Orlowska/ Joanna Golinska-Pilarek （1）
Francesco Paoli （1）
Heinrich Wansing (EDT)/ Roberto Ciuni (EDT)/ Caroline Willkommen (EDT) （1）
Henryk Kotlarski/ Zofia Adamowicz (EDT)/ Teresa Bigorajska (EDT)/ Konrad Zdanowski (EDT) （1）
Holger Andreas (EDT)/ Verd撊? Peter (EDT) （1）
Janusz Czelakowski （1）
Johannes Stern （1）
K. Dosen （1）
Leo Esakia/ Guram Bezhanishvili (EDT)/ Wesley H. Holliday (EDT)/ Anton Evseev (TRN) （1）
Luiz Carlos Pereira (EDT)/ Edward Hermann Haeusler (EDT)/ Valeria De Paiva (EDT) （1）
M. Dalla Chiara/ Roberto Giuntini/ R. Greechie/ Maria Luisa Dalla Chiara （1）
Maria Luisa Dalla Chiara/ Roberto Giuntini/ Roberto Leporini/ Giuseppe Sergioli （1）
Melvin Fitting （1）
Michael Winter （1）
More
出版社/品牌
Springer Verlag （20）
Kluwer Academic Pub （4）
Springer Nature （4）
PBKSPRIV （1）
Springer International Publishing AG （1）

三民網路書店 / 搜尋結果

共30筆商品，1/2頁
Towards Mathematical Philosophy ─ Papers from the Studia Logica Conference Trends in Logic IV
1.

Towards Mathematical Philosophy ─ Papers from the Studia Logica Conference Trends in Logic IV

作者：David Makinson (EDT); Jacek Malinowski (EDT); Heinrich Wansing (EDT)  出版社：Springer Verlag  出版日：2008/12/01 裝訂：精裝
This volume contains a collection of articles applying methods of logic or, more generally, of mathematics to solve problems, some of which come from logic itself, others from other sciences. Its ran
無法訂購
若需訂購本書，請電洽客服
02-25006600[分機130、131]。
Truth and Falsehood
2.

Truth and Falsehood

作者：Yaroslav Shramko; Heinrich Wansing  出版社：Springer Verlag  出版日：2011/09/15 裝訂：精裝
The book presents a thoroughly elaborated logical theory of generalized truth-values understood as subsets of some established set of (basic) truth values. After elucidating the importance of the very
無法訂購
若需訂購本書，請電洽客服
02-25006600[分機130、131]。
Goguen Categories ─ A Categorical Approach to L-fuzzy Relations
3.

Goguen Categories ─ A Categorical Approach to L-fuzzy Relations

作者：Michael Winter  出版社：Springer Verlag  出版日：2007/09/03 裝訂：平裝
Goguen categories extend the relational calculus and its categorical formalization to the fuzzy world. Starting from the fundamental concepts of sets, binary relations and lattices, this book introduc
無法訂購
若需訂購本書，請電洽客服
02-25006600[分機130、131]。
Trends in Logic
4.

Trends in Logic

作者：Vincent F. Hendricks; Jacek Malinowski  出版社：Springer Verlag  出版日：2003/11/01 裝訂：平裝
In 1953, exactly 50 years ago to this day, the first volume of Studia Logica appeared under the auspices of The Philosophical Committee of The Polish Academy of Sciences. Now, five decades later the p
無法訂購
若需訂購本書，請電洽客服
02-25006600[分機130、131]。
Towards Mathematical Philosophy
5.

Towards Mathematical Philosophy

作者：David Makinson; Jacek Malinowski; Heinrich Wansing  出版社：Springer Verlag  出版日：2008/12/01 裝訂：平裝
This volume contains a collection of articles applying methods of logic or, more generally, of mathematics to solve problems, some of which come from logic itself, others from other sciences. Its rang
無法訂購
若需訂購本書，請電洽客服
02-25006600[分機130、131]。
Dual Tableaux ─ Foundations, Methodology, Case Studies
6.

Dual Tableaux ─ Foundations, Methodology, Case Studies

作者：Ewa Orlowska; Joanna Golinska-Pilarek  出版社：Springer Verlag  出版日：2010/12/01 裝訂：精裝
This book presents logical foundations of dual tableaux together with a number of their applications both to logics traditionally dealt with in mathematics and philosophy (such as modal, intuitionisti
無法訂購
若需訂購本書，請電洽客服
02-25006600[分機130、131]。
Lesniewski's Systems of Logic and Foundations of Mathematics
7.

Lesniewski's Systems of Logic and Foundations of Mathematics

作者：Rafal Urbaniak  出版社：Springer Verlag  出版日：2013/10/15 裝訂：精裝
This meticulous critical assessment of the ground-breaking work of philosopher Stanislaw Lesniewski focuses exclusively on primary texts and explores the full range of output by one of the master log
無法訂購
若需訂購本書，請電洽客服
02-25006600[分機130、131]。
Advances in Natural Deduction ― A Celebration of Dag Prawitz's Work
8.

Advances in Natural Deduction ― A Celebration of Dag Prawitz's Work

作者：Luiz Carlos Pereira (EDT); Edward Hermann Haeusler (EDT); Valeria De Paiva (EDT)  出版社：Springer Verlag  出版日：2014/01/31 裝訂：精裝
This collection of original papers by celebrated figures in the field of natural deduction honors the ground-breaking work of Swedish logician Dag Prawits. It provides a wide-ranging survey of the lat
無法訂購
若需訂購本書，請電洽客服
02-25006600[分機130、131]。
Logics and Falsifications ― A New Perspective on Constructivist Semantics
9.

Logics and Falsifications ― A New Perspective on Constructivist Semantics

作者：Andreas Kapsner  出版社：Springer Verlag  出版日：2015/02/14 裝訂：精裝
This volume examines the concept of falsification as a central notion of semantic theories and its effects on logical laws. The point of departure is the general constructivist line of argument that M
無法訂購
若需訂購本書，請電洽客服
02-25006600[分機130、131]。
Toward Predicate Approaches to Modality
10.

Toward Predicate Approaches to Modality

作者：Johannes Stern  出版社：Springer Verlag  出版日：2015/10/28 裝訂：精裝
In this volume, the author investigates and argues for, a particular answer to the question: What is the right way to logically analyze modalities from natural language within formal languages? The an
無法訂購
若需訂購本書，請電洽客服
02-25006600[分機130、131]。
Advances in Proof-theoretic Semantics
90折
11.

Advances in Proof-theoretic Semantics

作者：Thomas Piecha (EDT); Peter Schroeder-heister (EDT)  出版社：Springer Verlag  出版日：2015/11/04 裝訂：精裝
This volume covers, in the first ever book collection of its kind, the field of proof-theoretic semantics. The wide variety of researchers contributing to this volume cover topics including the system
定價：2700 元， 優惠價：9 2430
無庫存，下單後進貨(到貨天數約30-45天)
Freedom and Enforcement in Action ― A Study in Formal Action Theory
12.

Freedom and Enforcement in Action ― A Study in Formal Action Theory

作者：Janusz Czelakowski  出版社：Springer Verlag  出版日：2015/06/25 裝訂：精裝
Action theory is the object of growing attention in a variety of scientific disciplines and this is the first volume to offer a synthetic view of the range of approaches possible in the topic. The vol
無法訂購
若需訂購本書，請電洽客服
02-25006600[分機130、131]。
Contradictions, from Consistency to Inconsistency
13.

Contradictions, from Consistency to Inconsistency

作者：Walter Carnielli (EDT); Jacek Malinowski (EDT)  出版社：Springer Nature  出版日：2018/10/23 裝訂：精裝
無法訂購
若需訂購本書，請電洽客服
02-25006600[分機130、131]。
Meaning and Proscription in Formal Logic ― Variations on the Propositional Logic of William T. Parry
14.

Meaning and Proscription in Formal Logic ― Variations on the Propositional Logic of William T. Parry

作者：Thomas Macaulay Ferguson  出版社：Springer Verlag  出版日：2018/01/22 裝訂：精裝
This book aids in the rehabilitation of the wrongfully deprecated work of William Parry, and is the only full-length investigation into Parry-type propositional logics.A central tenet of the monograph
無法訂購
若需訂購本書，請電洽客服
02-25006600[分機130、131]。
Descriptor Revision ― Belief Change Through Direct Choice
15.

Descriptor Revision ― Belief Change Through Direct Choice

作者：Sven Ove Hansson  出版社：Springer Verlag  出版日：2017/12/11 裝訂：精裝
This book provides a critical examination of how the choice of what to believe is represented in the standard model of belief change. In particular the use of possible worlds and infinite remainders a
無法訂購
若需訂購本書，請電洽客服
02-25006600[分機130、131]。
A Geometry of Approximation ─ Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns
16.

A Geometry of Approximation ─ Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns

作者：Piero Pagliani; Mihir Chakraborty  出版社：Springer Verlag  出版日：2008/12/24 裝訂：精裝
'A Geometry of Approximation' addresses Rough Set Theory, a field of interdisciplinary research first proposed by Zdzislaw Pawlak in 1982, and focuses mainly on its logic-algebraic interpretation. The
無法訂購
若需訂購本書，請電洽客服
02-25006600[分機130、131]。
Heyting Algebras I ― Duality Theory
17.

Heyting Algebras I ― Duality Theory

作者：Leo Esakia; Guram Bezhanishvili (EDT); Wesley H. Holliday (EDT); Anton Evseev (TRN)  出版社：Springer Nature  出版日：2019/07/17 裝訂：精裝
無法訂購
若需訂購本書，請電洽客服
02-25006600[分機130、131]。
Quantum Computation and Logic ― How Quantum Computers Have Inspired Logical Investigations
18.

Quantum Computation and Logic ― How Quantum Computers Have Inspired Logical Investigations

作者：Maria Luisa Dalla Chiara; Roberto Giuntini; Roberto Leporini; Giuseppe Sergioli  出版社：Springer Nature  出版日：2018/12/18 裝訂：精裝
This book provides a general survey of the main concepts, questions and results that have been developed in the recent interactions between quantum information, quantum computation and logic. Divided
無法訂購
若需訂購本書，請電洽客服
02-25006600[分機130、131]。
Algebraic Foundations of Many-valued Reasoning
19.

Algebraic Foundations of Many-valued Reasoning

作者：R. L. Cignoli; I. M. D'ottaviano; Daniele Mundici  出版社：Springer Verlag  出版日：2010/12/02 裝訂：平裝
This unique textbook states and proves all the major theorems of many-valued propositional logic and provides the reader with the most recent developments and trends, including applications to adap
無法訂購
若需訂購本書，請電洽客服
02-25006600[分機130、131]。
Cut Elimination in Categories
20.

Cut Elimination in Categories

作者：K. Dosen  出版社：Springer Verlag  出版日：1999/06/01 裝訂：平裝
Proof theory and category theory were first drawn together by Lambek some 30 years ago but, until now, the most fundamental notions of category theory (as opposed to their embodiments in logic) have
無法訂購
若需訂購本書，請電洽客服
02-25006600[分機130、131]。
  • 共
  • 1
  • 2

暢銷榜
客服中心
收藏
會員專區
三民書局
關於我們
門市專區
藝文講座
學習平台
異業合作
圖書採購/編目
人才招募
禮券兌換處
瀏覽器資訊
三民網路書店服務
會員服務條款
資訊安全警語
隱私權政策
新手購書
圖書分類
中國圖書館分類
空中大學購書
好站連結
企業會員專區
加入企業會員
服務條款
會員須知
圖書目錄下載
三民・東大・弘雅三民
小山丘童書(0-6歲)
兒童・青少年(7歲以上)
古籍圖書目錄
古典圖書目錄
畢業禮品