Livre MiitBook

Structural proof theory

Sara Negri

Parution : 2014

Aucune description disponible.

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

Catégories

Proof theory

Mots-clés

Proof theory

MiitBook

Livres similaires

English

Parution : 1996

Basic proof theory

A. S. Troelstra

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 : 2011

Proof Analysis

Sara Negri, Jan von Plato

Voir le livre

English

Parution : 2011

Proof analysis

Sara Negri

Voir le livre

English

Parution : 2021

Automated Reasoning with Analytic Tableaux and Related Methods

Anupam Das, Sara Negri

Voir le livre