Jeffrey B. Remmel – författare
Visar alla böcker från författaren Jeffrey B. Remmel. Handla med fri frakt och snabb leverans.
5 produkter
Logical Methods
In Honor of Anil Nerode’s Sixtieth Birthday
Av Crossley, John N. Crossley m. fl.
Inbunden, 1994
1643 kr
Lägg i varukorg
Anil Nerode, Director of the Mathematics Institute at Cornell, USA, is one of the most influential logicians in the world. This volume, published in his honour, contains much new and significant work. The papers in this book are principally concerned with mathematical logic and some of its …
Logical Methods
In Honor of Anil Nerode’s Sixtieth Birthday
Av Moss E. Sweedler, Richard Shore m. fl.
E-bok, 2012
2065 kr
Lägg i varukorg
The twenty-six papers in this volume reflect the wide and still expanding range of Anil Nerode''s work. A conference on Logical Methods was held in honor of Nerode''s sixtieth birthday (4 June 1992) at the Mathematical Sciences Institute, Cornell University, 1-3 June 1992. Some of the conference …
Feasible Mathematics II
Av Jeffrey B. Remmel, Peter Clote
E-bok, 2013
755 kr
Lägg i varukorg
Perspicuity is part of proof. If the process by means of which I get a result were not surveyable, I might indeed make a note that this number is what comes out - but what fact is this supposed to confirm for me? I don''t know ''what is supposed to come out'' . . . . 1 -L. Wittgenstein A feasible …
Logical Methods
In Honor of Anil Nerode’s Sixtieth Birthday
Av John N. Crossley, Jeffrey B. Remmel m. fl.
Häftad, 2013
1647 kr
Lägg i varukorg
The twenty-six papers in this volume reflect the wide and still expanding range of Anil Nerode's work. A conference on Logical Methods was held in honor of Nerode's sixtieth birthday (4 June 1992) at the Mathematical Sciences Institute, Cornell University, 1-3 June 1992. Some of the conference …
Feasible Mathematics II
Av Peter Clote, Jeffrey B. Remmel
Häftad, 2011
570 kr
Lägg i varukorg
Perspicuity is part of proof. If the process by means of which I get a result were not surveyable, I might indeed make a note that this number is what comes out - but what fact is this supposed to confirm for me? I don't know 'what is supposed to come out' . . . . 1 -L. Wittgenstein A feasible …
