Ergebnisse für: ordinal notations

Hier findest Du Bücher, die sich mit ordinal notations beschäftigen.

Herman Ruge Jervell
Logos Berlin
19.8 € · Paperback

Proof theory cut elimination quantifier elimination ordinal notations combinatorics, finite

In proof theory we investigate the objects used for computations and arguments in computer science and mathematics. Our starting point is the classical analysis given by Gerhard Gentzen in the 1930s. We develop this further using a new theory of ordinal notation and connecting this with combinatoric...

Array
(
    [endpoint] => /products?search=ordinal+notations&page=0&size=20
    [httpCode] => 200
    [curlError] => 
    [os_errno] => 0
    [primary_ip] => 144.208.215.243
    [local_ip] => 192.168.53.111
    [namelookup_time] => 0.001434
    [connect_time] => 0.519947
    [responseLength] => 1632
)