Search results for ‘John Longley,Dag Normann’

Filter & Refine

      Cover image for Higher-Order Computability
      Hardback
      Add to list Added to list

      Higher-Order Computability

      John Longley,Dag Normann

      This book offers a self-contained exposition of the theory of computability in a higher-order context, where ‘computable operations’ may themselves be passed as arguments to other computable operations.

      $423.99

      Available to order, ships in 7-14 daysAvailable to order

      Cover image for Higher-Order Computability
      Paperback
      Add to list Added to list

      Higher-Order Computability

      John Longley,Dag Normann

      This book offers a self-contained exposition of the theory of computability in a higher-order context, where ‘computable operations’ may themselves be passed as arguments to other computable operations.

      $423.99

      Available to order, ships in 7-14 daysAvailable to order

      Cover image for Logic Colloquium 2005
      Hardback
      Add to list Added to list

      Logic Colloquium 2005

      Costas Dimitracopoulos (University of Athens, Greece),Ludomir Newelski (Uniwersytet Wroclawski, Poland),Dag Normann (Universitetet i Oslo),John R. Steel

      Highlights of this 2007 volume from the Annual European Meeting of the ASL include three papers on different aspects of connections between model theory and algebra; a survey of major…

      $214.99

      Available to order, ships in approx 2 weeksAvailable to order