Original language | Undefined/Unknown |
---|---|

Title of host publication | Mathematical Problems from Applied Logic I, Logics for the XXIst Century |

Editors | D.M. Gabbay, S.S. Congarov |

Place of Publication | New York |

Publisher | Springer |

Pages | 77-136 |

Number of pages | 60 |

Publication status | Published - 2006 |

# Problems in the Logic of Provability

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic