Sortiert nach
Mathematical structures in computer science, 2019-06, Vol.29 (6), p.733-762
2019
Volltextzugriff (PDF)
Philosophia scientiae, 2016-03, Vol.20 (20-1), p.185-205
2016
Volltextzugriff (PDF)
1a ed. 2018., 2018
Volltextzugriff (PDF)
Journal of applied logic, 2014-03, Vol.12 (1), p.67-74
2014
Volltextzugriff (PDF)
Philosophia scientiae, 2016, Vol.20-1 (1), p.185-205
2016
Volltextzugriff (PDF)
Mathematical structures in computer science, 2018
2018
Volltextzugriff (PDF)
Logic journal of the IGPL, 2016-08, Vol.24 (4), p.481-493
2016
Volltextzugriff (PDF)
Studia logica, 2017-06, Vol.105 (3), p.479-520
2017
Volltextzugriff (PDF)
The Journal of symbolic logic, 1991-12, Vol.56 (4), p.1403-1451
1991
Volltextzugriff (PDF)
2014 edition., 2014
Volltextzugriff (PDF)
Studia logica, 2002-08, Vol.71 (3), p.277-314
2002
Volltextzugriff (PDF)
From Arithmetic to Metaphysics, 2018, Vol.73, p.1-22
2018
Volltextzugriff (PDF)
Logic journal of the IGPL, 2013-12, Vol.21 (6), p.1017-1027
2013
Volltextzugriff (PDF)
Logic, Language, Information, and Computation, 2015, Vol.9160, p.53-68
2015
Volltextzugriff (PDF)
Categories and Types in Logic, Language, and Physics, p.14-27
Volltextzugriff (PDF)
Lecture notes in computer science, 1999, p.14-24
1999
Volltextzugriff (PDF)
Annals of pure and applied logic, 1999-11, Vol.101 (1), p.29-64
1999
Volltextzugriff (PDF)
Matematiche, 2000-10, Vol.55 (3), p.127-142
2000
Volltextzugriff (PDF)
Theoretical computer science, 2003-02, Vol.294 (3), p.335-351
2003
Volltextzugriff (PDF)
Computational linguistics - Association for Computational Linguistics, 1999, Vol.99, n°9, p.209-236
1999
Volltextzugriff (PDF)
Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics, 2021, Vol.20, p.1-37
2021
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Linear Logic
- Mathematics
- Science & Technology
- Logic
- Mathematical Theory Of Computation
- Philosophy: Logic
- Mathematical Foundations
- Sequent Calculus
- Physical Sciences
- Technology
- Computer Science, Theory & Methods
- Lambek Calculus
- Science & Technology - Other Topics
- Proof Nets
- Exact Sciences And Technology
- Mathematical Logic And Foundations
- Mathematics, Applied
- Applied Sciences
- Computer Science, Artificial Intelligence
Kollektion
- Ebook Central Perpetual and DDA
- IngentaConnect Journals
- EZB Electronic Journals Library
- HEAL-Link subscriptions: Springer Book Series
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- JSTOR
- Springer Nature - Complete Springer Journals
- Cambridge Journals Online (DEFF)
- eBooks on EBSCOhost
- Elsevier ScienceDirect Journals Complete
- Lippincott Journal Package
- Wiley-Blackwell Journals
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- ACM Digital Library
- Business Source Ultimate
- Oxford University Press Journals Current
- Wiley Online Library Full Collection 2018
- MIT Press Journals
- Project Euclid Complete
- De Gruyter eBooks
Zeitschrift / Serie
- Philosophia Scientiae
- Archive For Mathematical Logic
- Computational Linguistics - Association For Computational Linguistics
- Logic Journal Of The Igpl
- Mathematical Logic Quarterly
- Mathematical Structures In Computer Science
- Studia Logica
- The Journal Of Symbolic Logic
- The Open Materials Science Journal
- Annals Of Pure And Applied Logic