The Work

From formulas to cirquents in computability logic

The details

The Author

Giorgi Japaridze

The offers