Jaap van Oosten – författare
Visar alla böcker från författaren Jaap van Oosten. Handla med fri frakt och snabb leverans.
4 produkter
Realizability
An Introduction to its Categorical Side
E-bok, 2008
1793 kr
Lägg i varukorg
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 …
Realizability
An Introduction to its Categorical Side
Inbunden, 2008
1752 kr
Lägg i varukorg
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 …
Sets, Models and Proofs
Av Ieke Moerdijk, Jaap van Oosten
Häftad, 2018
366 kr
Lägg i varukorg
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. Including examples from several areas of mathematics (algebra, linear algebra and analysis), the book illustrates the relevance and …
Sets, Models and Proofs
Av Jaap van Oosten, Ieke Moerdijk
E-bok, 2018
457 kr
Lägg i varukorg
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. Including examples from several areas of mathematics (algebra, linear algebra and analysis), the book illustrates the relevance and …
