Sortiert nach
1st ed. 2022., 2022
Volltextzugriff (PDF)
1, 2015
Volltextzugriff (PDF)
Synthese (Dordrecht), 2012-08, Vol.187 (3), p.925-942
2012
Volltextzugriff (PDF)
Studia logica, 2014-12, Vol.102 (6), p.1185-1216
2014
Volltextzugriff (PDF)
Topoi, 2012-04, Vol.31 (1), p.77-85
2012
Volltextzugriff (PDF)
2024
Volltextzugriff (PDF)
Synthese (Dordrecht), 2006-02, Vol.148 (3), p.525-571
2006
Volltextzugriff (PDF)
Studia logica, 2019-02, Vol.107 (1), p.233-246
2019
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2022-04, Vol.358
2022
Volltextzugriff (PDF)
Synthese (Dordrecht), 2021-12, Vol.199 (Suppl 3), p.617-639
2021
Volltextzugriff (PDF)
Studia logica, 2019-02, Vol.107 (1), p.7-9
2019
Volltextzugriff (PDF)
Advances in Proof-Theoretic Semantics, 2016, Vol.43
2016
Volltextzugriff (PDF)
Studia logica, 2019-02, Vol.107 (1), p.1-5
2019
Volltextzugriff (PDF)
Advances in Proof-Theoretic Semantics, 2016, Vol.43
2016
Volltextzugriff (PDF)
Annals of pure and applied logic, 2013-04, Vol.164 (4), p.491-501
2013
Volltextzugriff (PDF)
Notre Dame journal of formal logic, 2017-01, Vol.58 (4)
2017
Volltextzugriff (PDF)
Advances in Proof-Theoretic Semantics, 2016, Vol.43
2016
Volltextzugriff (PDF)
Advances in Proof-Theoretic Semantics, 2016, Vol.43
2016
Volltextzugriff (PDF)
Logic journal of the IGPL, 2014-04, Vol.22 (2), p.297-308
2014
Volltextzugriff (PDF)
Extensions of Logic Programming, 2005, p.253-281
2005
Volltextzugriff (PDF)
Advances in Proof-Theoretic Semantics, 2016, Vol.43
2016
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Logic
- Science & Technology
- Science & Technology - Other Topics
- Logic Programming
- Philosophy
- Mathematical Foundations
- Philosophy: Logic
- Arts & Humanities
- Mathematical Theory Of Computation
- Proof-Theoretic Semantics
- Logic Program
- Mathematics
- Exact Sciences And Technology
- Intuitionistic Logic
- Applied Sciences
- Computer Science; Control Theory; Systems
- Theoretical Computing
- Proof Theory
- Physical Sciences
- Sequent Calculus
Kollektion
- Ingenta
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- SpringerLink Series
- JSTOR All Journals
- EZB Electronic Journals Library
- SpringerLink
- WK Lippincott Williams & Wilkins–Connect here FIRST to enable access
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Project Euclid
- MEDLINE
- Cambridge Journals Online (DEFF)
- Elsevier ScienceDirect Journals
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Taylor & Francis Current Content Access
- Oxford Journals Online Current
- IngentaConnect Journals
- Taylor & Francis
- Access via Taylor & Francis
- De Gruyter eBooks