Mathematical LogicElsevier Science, 2001 - 293 lappuses Main headings: Part I. Computability and ordinal logics. - Part II. Type theory. - Part III. Enigmas, mysteries and loose ends. |
Mathematical LogicElsevier Science, 2001 - 293 lappuses Main headings: Part I. Computability and ordinal logics. - Part II. Type theory. - Part III. Enigmas, mysteries and loose ends. |