Type: Preprint
Publication Date: 2024-01-01
Citations: 0
DOI: https://doi.org/10.48550/arxiv.2401.08082
| Action | Title | Year | Authors |
|---|---|---|---|
| + | Changing Models | 2019 |
Jonathan Kirby |
| + | Formulas | 2019 |
Jonathan Kirby |
| + | Continuous relations | 1972 |
Gerhard Grimeisen |
| + | Realising Types | 2019 |
Jonathan Kirby |
| + | Introduction and Foundations | 2018 |
Abdelhak M. Zoubir Visa Koivunen Esa Ollila Michael Muma |
| + | Structures | 2019 |
Jonathan Kirby |
| + | Bibliography | 2019 |
Jonathan Kirby |
| + | Of Mathematical Reasoning | 2014 |
William Whewell |
| + | Systems and Proofs | 2019 |
Peter C. Alexander |
| + | Annals of mathematical logic | 1969 | |
| + | Peter Lynch: That's Maths III, Logic Press, 2022. ISBN:9781471757525 | 2022 |
Richard M. Aron |
| + | Logic | 2016 |
C. K. Raju |
| + | Logic | 1988 |
A. Dragalin |
| + | Logic | 2015 |
Chris P. Tsokos Rebecca Wooten |
| + | Logic | 1882 |
Ed. Marshall |
| + | Index | 2019 |
Jonathan Kirby |
| + | Terms | 2019 |
Jonathan Kirby |
| + | Numbers and Reasoning | 2020 |
Henri Picciotto |
| + | Relational Hypersequent S4 and B are Cut-Free Hypersequent Incomplete | 2021 |
Kai Tanter |
| + | Preface | 2019 |
Jonathan Kirby |
| Action | Title | Year | Authors |
|---|
| Action | Title | Year | Authors |
|---|