Neuware
About Cut-Elimination in Schematic Proofs - A monograph
von Mikheil Rukhaia
2013 Kartoniert, 124 Seiten, 220mm x 150mm x 8mm, Sprache(n): eng Gentzen's Hauptsatz (cut-elimination theorem) is the cornerstone in proof theory. It leads to analytic proofs. But in the systems, having induction as a rule, cut-elimination is not possible in general. One way to overcome this pr…
Neuware
Anbieter: MARZIES Buch- und Medienhandel, Schönwalde-Glien, Deutschland
Nichts passendes gefunden?
- Autor
- Mikheil Rukhaia
Link zur Suche kopieren
Speichern Sie Ihre Suche als Auftrag für einen späteren Zeitpunkt und lassen Sie sich bei neu eintreffenden Artikeln automatisch per E-Mail benachrichtigen (optional)!