TOP
【門市限定】至12/31文化幣使用倒數!加快腳步到三民書局使用吧!
搜尋結果 /

Proof Theory

34
1 / 1
出版日:2012/05/17 作者:Alexandre Rademaker  出版社:Springer Verlag  裝訂:平裝
Description Logics (DLs) is a family of formalisms used to represent knowledge of a domain. They are equipped with a formal logic-based semantics. Knowledge representation systems based on description
優惠價: 1 3499
無庫存
出版日:2011/11/17 作者:Kurt Schutte; J. N. Crossley (TRN)  出版社:Springer Verlag  裝訂:平裝
This book was originally intended to be the second edition of the book "Beweis- theorie" (Grundlehren der mathematischen Wissenschaften, Band 103, Springer 1960), but in fact has been completely rewri
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Proof Theory
滿額折
出版日:2013/02/20 作者:Gaisi Takeuti  出版社:Dover Pubns  裝訂:平裝
"This comprehensive monograph is a cornerstone in the area of mathematical logic and related fields. Focusing on Gentzen-type proof theory, the book presents a detailed overview of creative works by t
優惠價: 9 853
無庫存
Structural Proof Theory
90 折
出版日:2008/07/10 作者:Sara Negri  出版社:Cambridge Univ Pr  裝訂:平裝
Structural proof theory is a branch of logic that studies the general structure and properties of logical and mathematical proofs. This book is both a concise introduction to the central results and methods of structural proof theory, and a work of research that will be of interest to specialists. The book is designed to be used by students of philosophy, mathematics and computer science. The book contains a wealth of results on proof-theoretical systems, including extensions of such systems from logic to mathematics, and on the connection between the two main forms of structural proof theory - natural deduction and sequent calculus. The authors emphasize the computational content of logical results. A special feature of the volume is a computerized system for developing proofs interactively, downloadable from the web and regularly updated.
優惠價: 9 2105
無庫存
Structural Proof Theory
90 折
出版日:2001/06/18 作者:Sara Negri  出版社:Cambridge Univ Pr  裝訂:精裝
Structural proof theory is a branch of logic that studies the general structure and properties of logical and mathematical proofs. This book is both a concise introduction to the central results and methods of structural proof theory, and a work of research that will be of interest to specialists. The book is designed to be used by students of philosophy, mathematics and computer science. The book contains a wealth of results on proof-theoretical systems, including extensions of such systems from logic to mathematics, and on the connection between the two main forms of structural proof theory - natural deduction and sequent calculus. The authors emphasize the computational content of logical results. A special feature of the volume is a computerized system for developing proofs interactively, downloadable from the web and regularly updated.
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Basic Proof Theory
90 折
出版日:2000/07/27 作者:A. S. Troelstra  出版社:Cambridge Univ Pr  裝訂:平裝
This introduction to the basic ideas of structural proof theory contains a thorough discussion and comparison of various types of formalization of first-order logic. Examples are given of several areas of application, namely: the metamathematics of pure first-order logic (intuitionistic as well as classical); the theory of logic programming; category theory; modal logic; linear logic; first-order arithmetic and second-order logic. In each case the aim is to illustrate the methods in relatively simple situations and then apply them elsewhere in much more complex settings. There are numerous exercises throughout the text. In general, the only prerequisite is a standard course in first-order logic, making the book ideal for graduate students and beginning researchers in mathematical logic, theoretical computer science and artificial intelligence. For the new edition, many sections have been rewritten to improve clarity, new sections have been added on cut elimination, and solutions to sel
優惠價: 9 2398
無庫存
Advances in Proof Theory
90 折
出版日:2016/05/12 作者:Reinhard Kahle (EDT); Thomas Strahm (EDT); Thomas Studer (EDT)  出版社:Birkhauser  裝訂:精裝
The aim of this volume is to collect original contributions by the best specialists from the area of proof theory, constructivity, and computation and discuss recent trends and results in these areas.
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
An Introduction to Proof Theory
90 折
出版日:2021/08/17 作者:Paolo Mancosu  出版社:Oxford Univ Pr  裝訂:精裝
An Introduction to Proof Theory provides an accessible introduction to the theory of proofs, with details of proofs worked out and examples and exercises to aid the reader's understanding.
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
An Introduction to Proof Theory
90 折
出版日:2021/08/17 作者:Paolo Mancosu  出版社:Oxford Univ Pr  裝訂:平裝
An Introduction to Proof Theory provides an accessible introduction to the theory of proofs, with details of proofs worked out and examples and exercises to aid the reader's understanding.
優惠價: 9 1592
無庫存
出版日:1997/06/01 作者:Jean Goubault-Larrecq; Ian Mackie  出版社:Kluwer Academic Pub  裝訂:平裝
Interest in computer applications has led to a new attitude to applied logic in which researchers tailor a logic in the same way they define a computer language. In response to this attitude, this tex
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2010/11/29 作者:Torben Brauner  出版社:Springer Verlag  裝訂:精裝
This is the first book-length treatment of hybrid logic and its proof-theory. Hybrid logic is an extension of ordinary modal logic which allows explicit reference to individual points in a model (wher
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Logic Programming:Operational Semantics and Proof Theory
90 折
出版日:2004/08/19 作者:James H. Andrews  出版社:Cambridge Univ Pr  裝訂:平裝
Dr Andrews here provides a homogeneous treatment of the semantics (operational and logical) of both theoretical and practical logic programming languages. He shows how the rift between theory and practice in logic programming can be bridged. This is achieved by precisely characterizing the way in which 'depth-first' search for solutions to a logical formula - the usual strategy in most practical languages - is incomplete. Languages that perform 'breadth-first' searches reflect more closely the theory underlying logic programming languages. Researchers interested in logic programming or semantics, as well as artificial intelligence search strategies, will want to consult this book as the only source for some essential and new ideas in the area.
優惠價: 9 1696
無庫存
出版日:1972/09/30 作者:S. Stenlund  出版社:Springer Verlag  裝訂:精裝
The aim of this monograph is to present some of the basic ideas and results in pure combinatory logic and their applications to some topics in proof theory, and also to present some work of my own. So
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Hilbert's Proof Theory and its modern Development
滿額折
出版日:2022/01/30 作者:Ralf Ille  出版社:GRIN Verlag  裝訂:平裝
優惠價: 1 1819
無庫存
出版日:2020/10/09 作者:Henryk Kotlarski  出版社:Springer Nature  裝訂:平裝
出版日:2019/10/09 作者:Henryk Kotlarski; Zofia Adamowicz (EDT); Teresa Bigorajska (EDT); Konrad Zdanowski (EDT)  出版社:Springer Nature  裝訂:精裝
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Proof Theory ― Sequent Calculi and Related Formalisms
90 折
出版日:2014/08/20 作者:Katalin Bimbo  出版社:Taylor & Francis  裝訂:精裝
"Sequent calculi constitute an interesting and important category of proof systems. They are much less known than axiomatic systems or natural deduction systems are, and they are much less known than
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Proof Theory—The First Step into Impredicativity
90 折
出版日:2009/02/28 作者:Wolfram Pohlers  出版社:Textstream  裝訂:平裝
This book verifies with compelling evidence the author’s inclination to "write a book on proof theory which needs no previous knowledge of proof theory". Avoiding the cryptic terminology of proof as f
優惠價: 9 2700
無庫存
出版日:2021/08/26 作者:Toshiyasu Arai  出版社:Springer Nature  裝訂:平裝
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Ordinal Analysis with an Introduction to Proof Theory
95 折
出版日:2020/10/10 作者:Toshiyasu Arai  出版社:Springer Verlag; Singapore  裝訂:精裝
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Proof Theory and Logic Programming: Computation as Proof Search
滿額折
出版日:2025/12/31 作者:Dale Miller  出版社:CAMBRIDGE  裝訂:精裝
優惠價: 1 3040
無庫存
What Logics Mean ─ From Proof Theory to Model-Theoretic Semantics
滿額折
出版日:2013/12/23 作者:James W. Garson  出版社:Cambridge Univ Pr  裝訂:平裝
What do the rules of logic say about the meanings of the symbols they govern? In this book, James W. Garson examines the inferential behaviour of logical connectives (such as 'and', 'or', 'not' and 'if … then'), whose behaviour is defined by strict rules, and proves definitive results concerning exactly what those rules express about connective truth conditions. He explores the ways in which, depending on circumstances, a system of rules may provide no interpretation of a connective at all, or the interpretation we ordinarily expect for it, or an unfamiliar or novel interpretation. He also shows how the novel interpretations thus generated may be used to help analyse philosophical problems such as vagueness and the open future. His book will be valuable for graduates and specialists in logic, philosophy of logic, and philosophy of language.
優惠價: 9 1403
無庫存
What Logics Mean ― From Proof Theory to Model-theoretic Semantics
90 折
出版日:2013/12/16 作者:James W. Garson  出版社:Cambridge Univ Pr  裝訂:精裝
What do the rules of logic say about the meanings of the symbols they govern? In this book, James W. Garson examines the inferential behaviour of logical connectives (such as 'and', 'or', 'not' and 'if … then'), whose behaviour is defined by strict rules, and proves definitive results concerning exactly what those rules express about connective truth conditions. He explores the ways in which, depending on circumstances, a system of rules may provide no interpretation of a connective at all, or the interpretation we ordinarily expect for it, or an unfamiliar or novel interpretation. He also shows how the novel interpretations thus generated may be used to help analyse philosophical problems such as vagueness and the open future. His book will be valuable for graduates and specialists in logic, philosophy of logic, and philosophy of language.
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
90 折
出版日:2008/06/01 作者:U. Kohlenbach  出版社:Springer Verlag  裝訂:精裝
This is the first treatment in book format of proof-theoretic transformations - known as proof interpretations - that focuses on applications to ordinary mathematics. It covers both the necessary logi
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2022/07/31 作者:Ofer Arieli(EDI)  出版社:Springer Nature  裝訂:平裝
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2021/06/24 作者:Ofer Arieli(EDI)  出版社:Springer Nature  裝訂:精裝
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Proof Theory:A selection of papers from the Leeds Proof Theory Programme 1990
90 折
出版日:2008/01/21 作者:Peter Aczel  出版社:Cambridge Univ Pr  裝訂:平裝
The lecture courses in this work are derived from the SERC 'Logic for IT' Summer School and Conference on Proof Theory held at Leeds University. The contributions come from acknowledged experts and comprise expository and research articles; put together in this book they form an invaluable introduction to proof theory that is aimed at both mathematicians and computer scientists.
優惠價: 9 1754
無庫存
Proof Theory:A selection of papers from the Leeds Proof Theory Programme 1990
90 折
出版日:1993/02/11 作者:Peter Aczel  出版社:Cambridge Univ Pr  裝訂:精裝
The lecture courses in this work are derived from the SERC 'Logic for IT' Summer School and Conference on Proof Theory held at Leeds University. The contributions come from acknowledged experts and comprise expository and research articles; put together in this book they form an invaluable introduction to proof theory that is aimed at both mathematicians and computer scientists.
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2025/03/12 作者:Dorota Leszczyń; ska-Jasion  出版社:Springer Nature  裝訂:精裝
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2023/06/02 作者:Klaus Mainzer  出版社:World Scientific Pub Co Inc  裝訂:精裝
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2025/09/12 作者:Ralph Gregory Taylor  出版社:Springer Nature  裝訂:精裝
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2021/09/27 作者:Klaus Mainzer(EDI)  出版社:World Scientific Pub Co Inc  裝訂:精裝
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2004/09/09 作者:Shawn Hedman  出版社:Oxford Univ Pr on Demand  裝訂:平裝
"The ability to reason and think in a logical manner forms the basis of learning for most mathematics, computer science, philosophy and logic students. Based on the author's teaching notes at the Univ
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2021/01/17 作者:Peter M. Schuster(EDI)  出版社:Springer Nature  裝訂:平裝
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
  • 34
    1

暢銷榜

客服中心

收藏

會員專區