The following pages link to (Q4585824):
Displaying 9 items.
- Martin Davis on computability, computational logic, and mathematical foundations (Q505399) (← links)
- Computation theory and logic. (In memory of Dieter Rödding, 1937--1984. On the occasion of the 50th anniversary of his birth) (Q1092015) (← links)
- Computation, logic, games, and quantum foundations. The many facets of Samson Abramsky. Essays dedicated to Samson Abramsky on the occasion of his 60th birthday (Q1947814) (← links)
- Alternative multilattice logics: an approach based on monosequent and indexed monosequent calculi (Q2062192) (← links)
- Thinking and calculating. Essays in logic, its history and its philosophical applications in honour of Massimo Mugnai (Q2154129) (← links)
- Lattice logic, bilattice logic and paraconsistent quantum logic: a unified framework based on monosequent systems (Q2236604) (← links)
- (Q4243437) (← links)
- (Q5609336) (← links)
- Editorial (Q5965584) (← links)