Salta alla navigazione principale
Salta alla ricerca
Salta al contenuto principale
PubliRES - Publications, Research, Expertise and Skills Home
Italiano
English
Home
Profili
Unità di ricerca
Prodotti della ricerca
Dataset
Ricerca per competenza, nome o affiliazione
L'Hauptsatz di Gentzen
Sergio Galvan
Risultato della ricerca
:
Libro
›
Book
Panoramica
Fingerprint
Fingerprint
Entra nei temi di ricerca di 'L'Hauptsatz di Gentzen'. Insieme formano una fingerprint unica.
Ordina per
Peso
Alfabetico
Earth and Planetary Sciences
Proving
100%
Deduction
60%
Theorem
40%
Elimination
40%
Derivation
30%
Calculation
30%
Subject
30%
Texts
30%
Calculi
30%
Complexity
20%
Rule
20%
Improvement
20%
Presentation
20%
Height
20%
Completeness
10%
Netherlands
10%
Paper
10%
State
10%
Investigation
10%
Difference
10%
Volume
10%
Length
10%
London
10%
Arts and Humanities
Gentzen
60%
Cut-elimination
40%
Proof
30%
Text
30%
Formal
20%
System
10%
Technical
10%
Scholars
10%
Amsterdam
10%
Naples
10%
Exposition
10%
Resorts
10%
Mannheim
10%
Structural rules
10%
Sequent Calculus
10%
Proof Theory
10%
Agricultural and Biological Sciences
Height
20%
Paper
10%
Length
10%
Volume
10%
Mathematics
Completeness
10%
English Translation
10%