Showing
1 - 7
results of
7
for search '
Kahle, Reinhard
'
Skip to content
Portal do Governo Brasileiro
Toggle navigation
Instituto Brasileiro de Informação em Ciência e Tecnologia
Home
About
Data Sources
Indicators
Contact
Faq
Your Account
Log Out
Login
Language
Português (Brasil)
English
All Fields
Title
Author
Subject
Find
Advanced search
Author
Kahle, Reinhard
Export CSV
Showing
1 - 7
results of
7
for search '
Kahle, Reinhard
'
, query time: 0.02s
Refine Results
Sort
Relevance
Date descending
Date ascending
Call Number
Author
Title
1
A Herança de David Hilbert na Filosofia da Matemática
by
Kahle
,
Reinhard
Published 2011
Access document
Article
2
Introduction: Proof-theoretic Semantics
by
Kahle
,
Reinhard
Published 2006
Access document (1)
Access document (2)
Article
3
Default negation as explicit negation plus update
by
Kahle
,
Reinhard
Published 2021
Access document
Article
4
Dedekinds Saetze und Peanos Axiome
by
Kahle
,
Reinhard
Published 2021
Access document
Article
5
Die Gödelschen Unvollständigkeitssätze
by
Kahle
,
Reinhard
Published 2007
Access document (1)
Access document (2)
Article
6
VARIANTS of KREISEL'S CONJECTURE on A NEW NOTION of PROVABILITY
by
Santos, Paulo Guilherme
Published 2021
Other Authors:
“
...
Kahle
,
Reinhard
...
”
Access document
Article
7
k-Provability in PA
by
Santos, Paulo Guilherme
Published 2021
Other Authors:
“
...
Kahle
,
Reinhard
...
”
Access document
Article
Export CSV
Loading...