Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
Odporučiť
  • Anglický jazyk

Metamathematical Investigation of Intuitionistic Arithmetic and Analysis

Autor: Anne S. Troelstra

... Viac o knihe

Na objednávku

64.34 €

bežná cena: 71.49 €

O knihe

Intuitionistic formal systems.- Models and computability.- Realizability and functional interpretations.- Normalization theorems for systems of natural deduction.- Applications of Kripke models.- Iterated inductive definitions, trees and ordinals.- Erratum.

  • Vydavateľstvo: Springer
  • Rok vydania: 1973
  • Formát: Paperback
  • Rozmer: 235 x 155 mm
  • Jazyk: Anglický jazyk
  • ISBN: 9783540064916

Odporúčané tituly:

Greenberg, M: Applications of Green's Functions in Science
  • Anglický jazyk Anglický jazyk

Greenberg, M: Applications of Green's Functions in Science

16.97 € 18.86 € (ušetríte 10%)
MuPAD Pro Computing Essentials
  • Anglický jazyk Anglický jazyk

MuPAD Pro Computing Essentials

Miroslaw Majewski

68.32 € 75.91 € (ušetríte 10%)
Hyperbolic Systems of Conservation Laws
  • Anglický jazyk Anglický jazyk

Hyperbolic Systems of Conservation Laws

Alberto Bressan

152.00 € 168.89 € (ušetríte 10%)
Mathematics for Finance An Introduction
  • Anglický jazyk Anglický jazyk

Mathematics for Finance An Introduction

Marek Capinski

46.78 € 51.98 € (ušetríte 10%)
HEAVEN & EARTH

HEAVEN & EARTH

20.04 € 22.27 € (ušetríte 10%)
Guesstimation 2.0
  • Anglický jazyk Anglický jazyk

Guesstimation 2.0

Lawrence Weinstein

19.74 € 21.93 € (ušetríte 10%)
Applications of Green`s Functions in Science and Engineering
  • Anglický jazyk Anglický jazyk

Applications of Green`s Functions in Science and Engineering

Michael Greenberg

16.97 € 18.86 € (ušetríte 10%)
Linear Operators for Quantum Mechanics
  • Anglický jazyk Anglický jazyk

Linear Operators for Quantum Mechanics

Thomas Jordan

16.97 € 18.86 € (ušetríte 10%)
Johnson, N: Continuous Univariate Distributions, Volume 2
  • Anglický jazyk Anglický jazyk

Johnson, N: Continuous Univariate Distributions, Volume 2

157.73 € 175.26 € (ušetríte 10%)
Atlas of Science

Atlas of Science

28.45 € 31.61 € (ušetríte 10%)
Fuzzy Probability Spaces, Fuzzy Dynamical Systems, and Entropy

Fuzzy Probability Spaces, Fuzzy Dynamical Systems, and Entropy

41.36 € 45.95 € (ušetríte 10%)
Introduction to Mathematics with Maple
  • Anglický jazyk Anglický jazyk

Introduction to Mathematics with Maple

Peter Adams

56.02 € 62.24 € (ušetríte 10%)

Generuje redakčný systém BUXUS CMS spoločnosti ui42.