Search

Search Constraints

Start Over You searched for: Subject sequent calculus Remove constraint Subject: sequent calculus

Search Results

1. Deduction in TIL: from simple to ramified hierarchy of types

2. Využitie pojmu zhoda v hyperintenzionálnej dedukcii