Bottom Type: Type theory, Mathematical logic, Curry-Howard correspondence, Top type, Void Exception handling, Pointer (computing), NaN, Fail- stop

Prices from
145.79

Featured

COMPARE ALL WEBSHOPS (2)

Description

Bottom Type: Type theory, Mathematical logic, Curry-Howard correspondence, Top type, Void Exception handling, Pointer (computing), NaN, Fail- stop

Description Description
Product Specifications Product specifications
Related results Related results
Next
Previous

Compare webshops (2)

Shop
Price
Amazon Logo
€ 145.79
To Shop
Amazon Marketplace Logo
€ 145.79
To Shop
Description (0)

Bottom Type: Type theory, Mathematical logic, Curry-Howard correspondence, Top type, Void Exception handling, Pointer (computing), NaN, Fail- stop

Product specifications

Brand OmniScriptum
EAN
  • 9786131849558

OmniScriptum

NaN: Computing, Data Type

€ 108.41
Compare 2 stores 2 stores

OmniScriptum

Bounded Pointer: Computer Science, Pointer (Computing), Composite Data Type

€ 168.22
Compare 2 stores 2 stores

Birkhauser

Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas

€ 64.51
Compare 2 stores 2 stores

Alphascript Publishing

Foundations of Mathematics: mathematics, Mathematical logic, Set theory, Proof Model Type Computability Philosophy Proposition

€ 201.87
Compare 2 stores 2 stores
Featured Choice
€ 145.79
To Shop