Livre MiitBook

Numbers and proofs

R. B. J. T. Allenby

Parution : 2009

Aucune description disponible.

Trouver un professionnel Consulter la ressource externeOuvrir l’assistant de lecture

Catégories

Proof theory Numerical calculations Mathematik Beweis Zahlentheorie Einführung Bewijstheorie

Mots-clés

Proof theory Numerical calculations Mathematik Beweis Zahlentheorie Einführung Bewijstheorie

MiitBook

Livres similaires

English

Parution : 1996

Basic proof theory

A. S. Troelstra

Voir le livre

English

Parution : 2001

Structural proof theory

Sara Negri

Voir le livre

English

Parution : 1975

Proof theory

Gaisi Takeuti

Voir le livre

Langue : ES · Parution : 1958★ 3.7

Gödel's proof

Ernest Nagel, James Roy Newman

Voir le livre

English

Parution : 2014

Proof Theory

Katalin Bimbo

Voir le livre

English

Parution : 1989

Proof theory

Wolfram Pohlers

Voir le livre

English

Parution : 2013

Numerical Calculation of Lubrication

Ping Huang

Voir le livre

English

Parution : 1967

Numerical calculations and algorithms

Royce Beckett

Voir le livre