search for books and compare prices
Dag Normann has written 2 work(s)
Search for other authors with the same name
displaying 1 to 2 | at end
show results in order: alphabetically | oldest to newest | newest to oldest
Higher-order Computability
cover image for 9783662479919
Product Description: 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. The subject originated in the 1950s with the work of Kleene, Kreisel and others, and has since expanded in many different directions under the influence of workers from both mathematical logic and computer science...read more
By Dag Normann
See complete details on each edition (1 edition listed)

Hardcover:

9783662479919 | Springer-Verlag New York Inc, November 17, 2015, cover price $149.00 | About this edition: 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.

Logic Colloquium 2005: Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, Held in Athens, Grece, July 28-August 3, 2005
cover image for 9780521884259
Book Description: Highlights of this 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 recent major advances in combinatorial set theory; a tutorial on proof theory and modal logic; and a description of Bernay's philosophy of mathematics...read more
By Costas Dimitracopoulos (editor), Ludomir Newelski (editor), Dag Normann (editor) and John R. Steel (editor)
See complete details on each edition (1 edition listed)

Hardcover:

9780521884259 | Cambridge Univ Pr, December 31, 2007, cover price $119.99 | About this edition: Highlights of this 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 recent major advances in combinatorial set theory; a tutorial on proof theory and modal logic; and a description of Bernay's philosophy of mathematics.

displaying 1 to 2 | at end