Tableau Systems for First Order Number Theory and Certain Higher Order Theories

Specificaties
Paperback, 348 blz. | Engels
Springer Berlin Heidelberg | 1975e druk, 1975
ISBN13: 9783540071495
Rubricering
Springer Berlin Heidelberg 1975e druk, 1975 9783540071495
Onderdeel van serie Lecture Notes in Mathematics
€ 42,94
Levertijd ongeveer 9 werkdagen
Gratis verzonden

Specificaties

ISBN13:9783540071495
Taal:Engels
Bindwijze:paperback
Aantal pagina's:348
Uitgever:Springer Berlin Heidelberg
Druk:1975

Inhoudsopgave

First order number theory.- Second order logic.- Other higher order systems due to Schütte.
€ 42,94
Levertijd ongeveer 9 werkdagen
Gratis verzonden

Rubrieken

    Personen

      Trefwoorden

        Tableau Systems for First Order Number Theory and Certain Higher Order Theories