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

Prices from
64.51

Featured

COMPARE ALL WEBSHOPS (2)

Description

Amazon Pages: 348, Edition: Second Edition 2025, Paperback, Birkhäuser
Description Description
Product Specifications Product specifications
Related results Related results
Next
Previous

Compare webshops (2)

Sort by:

€ 64.51

€ 64.51

Description (1)

Pages: 348, Edition: Second Edition 2025, Paperback, Birkhäuser

Product specifications

Brand Birkhauser
EAN
  • 9783031853548

Independently Published

Foundation of Mathematical Reasoning: Logic, Proofs and Set Theory

€ 26.05
Compare 2 stores 2 stores

Independently Published

An introduction to Propositional Logic and Set Theory: Foundations of Mathematical Reasoning....

€ 9.93
Compare 2 stores 2 stores

OmniScriptum

Sequent: Proof theory, calculus, Deductive reasoning, Judgment (mathematical logic), Turnstile (symbol), Metalanguage, Logical conjunction

€ 127.10
Compare 2 stores 2 stores

Independently Published

concepts of Mathematical Logic and Set Theory

€ 17.24
Compare 2 stores 2 stores
Featured Choice
€ 64.51
To Shop