Jaap van Oosten – författare
Visar alla böcker från författaren Jaap van Oosten. Handla med fri frakt och snabb leverans.
2 produkter
2 produkter
Del 152 - Studies in Logic and the Foundations of Mathematics
Realizability
An Introduction to its Categorical Side
Inbunden, Engelska, 2008
1 642 kr
Skickas inom 10-15 vardagar
Aimed at starting researchers in the field, Realizability gives a rigorous, yet reasonable introduction to the basic concepts of a field which has passed several successive phases of abstraction. Material from previously unpublished sources such as Ph.D. theses, unpublished papers, etc. has been molded into one comprehensive presentation of the subject area.The first book to date on this subject areaProvides an clear introduction to Realizability with a comprehensive bibliography- Easy to read and mathematically rigorousWritten by an expert in the field
Häftad, Engelska, 2018
362 kr
Skickas inom 10-15 vardagar
This textbook provides a concise and self-contained introduction to mathematical logic, with a focus on the fundamental topics in first-order logic and model theory.