Publication date
April 2020
DOI Publisher
Springer Science and Business Media LLCAbstract
Logic; Mathematical Logic and Foundations; Mathematical Logic and Formal Language
Logic; Mathematical Logic and Foundations; Mathematical Logic and Formal Language
Includes bibliographical references and indexes.1. Set theoretical logic - The algebra of models2. C...
Aims to review the programmes in the foundations of mathematics from the classical period and to ass...
This volume includes fifteen research papers to celebrate Luiz Carlos Pereira's 60th birthday. Among...
Mathematical logic is a branch of mathematics that takes axiom systems and mathematical proofs as it...
"Foundations of the Formal Sciences" (FotFS) is a series of interdisciplinary conferences in mathema...
The aim of this volume is to collect original contributions by the best specialists from the area of...
Logic Statements, Negation, and Compound Statements Truth Tables and Logical Equivalences Conditiona...
The aim of this volume is to collect original contributions by the best specialists from the area of...
A collection of remarkable papers from various areas of mathematical logic, written by outstanding m...
This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contribu...
In Classical Mathematical Logic, Richard L. Epstein relates the systems of mathematical logic to the...
This volume presents recent advances in philosophical logic with chapters focusing on non-classical ...
Mathematics and logic have been central topics of concern since the dawn of philosophy. Since logic ...
The third Tübingen conference on proof-theoretic semantics took place in the Alte Aula of the Univer...
Hyper-textbook for students in mathematical logic, Edition 2017This is Edition 2017. Read the NEW Ed...
Includes bibliographical references and indexes.1. Set theoretical logic - The algebra of models2. C...
Aims to review the programmes in the foundations of mathematics from the classical period and to ass...
This volume includes fifteen research papers to celebrate Luiz Carlos Pereira's 60th birthday. Among...
Mathematical logic is a branch of mathematics that takes axiom systems and mathematical proofs as it...
"Foundations of the Formal Sciences" (FotFS) is a series of interdisciplinary conferences in mathema...
The aim of this volume is to collect original contributions by the best specialists from the area of...
Logic Statements, Negation, and Compound Statements Truth Tables and Logical Equivalences Conditiona...
The aim of this volume is to collect original contributions by the best specialists from the area of...
A collection of remarkable papers from various areas of mathematical logic, written by outstanding m...
This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contribu...
In Classical Mathematical Logic, Richard L. Epstein relates the systems of mathematical logic to the...
This volume presents recent advances in philosophical logic with chapters focusing on non-classical ...
Mathematics and logic have been central topics of concern since the dawn of philosophy. Since logic ...
The third Tübingen conference on proof-theoretic semantics took place in the Alte Aula of the Univer...
Hyper-textbook for students in mathematical logic, Edition 2017This is Edition 2017. Read the NEW Ed...
Includes bibliographical references and indexes.1. Set theoretical logic - The algebra of models2. C...
Aims to review the programmes in the foundations of mathematics from the classical period and to ass...
This volume includes fifteen research papers to celebrate Luiz Carlos Pereira's 60th birthday. Among...
Add to ORKG