Pages that link to "Item:Q4255356"
From MaRDI portal
The following pages link to Advances in Contemporary Logic and Computer Science (Q4255356):
Displaying 3 items.
- Advances in natural deduction. A celebration of Dag Prawitz's work. Selected papers based on the presentations at the conference ``Natural deduction'', Rio de Janeiro, Brazil, 2001 (Q368791) (← links)
- Non-classical logics, model theory, and computability. Proceedings of the 3rd Latin-American symposium on mathematical logic, Campinas, Brazil, July 11--17, 1976 (Q1234274) (← links)
- (Q5435667) (← links)