Realizability: An Introduction to its Categorical Side (Volume 152) by Jaap van Oosten offers an in-depth exploration of the categorical approach to realizability. The book collects and refines material from sources such as Ph.D. theses and unpublished papers, providing a comprehensive introduction for those beginning their journey in the field. With a focus on clarity and rigor, the presentation skillfully guides the reader through the successive layers of abstraction that define this branch of mathematical logic. This text is an invaluable resource for early-career researchers and advanced students who wish to build a solid foundation in the subject.
Studiesalg.dk er en markedsplads hvor studerende i hele landet kan handle direkte med
hinanden.
Vores betalingsystem sikrer, at du både som køber og sælger er beskyttet, i alt lige fra
betaling, forsendelse og godkendelse af bøgerne.
Vi kræver MitID verificering af både sælger og køber. Dette er med til at sikre begge parter en god oplevelse og undgå svindel af enhver art.
Betal online med MobilePay. Vi opbevarer betalingen, og udbetaler først pengene til sælger når bøgerne er leveret og godkendt.
Sælg nemt dine bøger videre når du ikke længere har brug for dem. Med vores web-app er det nemt at scanne stregkoder og tage billeder af dine bøger.