Mathematical Logic

Pirmais vāks
Elsevier Science, 2001 - 293 lappuses
Main headings: Part I. Computability and ordinal logics. - Part II. Type theory. - Part III. Enigmas, mysteries and loose ends.

Citi izdevumi - Skatīt visu

Bibliogrāfiskā informācija