Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
-
1
-
2
-
3
-
4por Pohlers, Wolfram“…Although this is an introductory text on proof theory, most of its contents is not found in a unified form elsewhere in the literature, except at a very advanced level. …”
Publicado 1989
Enlace del recurso
Enlace del recurso
-
5“…The aim of this volume is to collect original contributions by the best specialists from the area of proof theory, constructivity, and computation and discuss recent trends and results in these areas. …”
Enlace del recurso
Enlace del recurso
-
6por Paleo, Bruno Woltzenlogel“…Moreover, this approach allows, by means of proof theory, to open new conceptual bridges between the disciplines of Physics and Computer Science.…”
Publicado 2012
Enlace del recurso
Enlace del recurso
Enlace del recurso
Online Artículo Texto -
7
-
8
-
9
-
10
-
11
-
12
-
13por Brauner, Torben“…There is little consensus about proof-theory for ordinary modal logic. Many modal-logical proof systems lack important properties and the relatio…”
Publicado 2011
Enlace del recurso
Enlace del recurso
-
14
-
15
-
16
-
17
-
18
-
19“…It uses model theoretic and combinatorial methods to obtain results in proof theory, such as incompleteness theorems or a description of the provably total functions of a theory. …”
Enlace del recurso
Enlace del recurso
-
20