Realizability: An Introduction to its Categorical Side: Volume 152 (Studies in Logic and the Foundations of Mathematics, Volume 152) - Hardcover

Jaap Van Oosten

 
9780444515841: Realizability: An Introduction to its Categorical Side: Volume 152 (Studies in Logic and the Foundations of Mathematics, Volume 152)
Hardcover
ISBN 10: 0444515844 ISBN 13: 9780444515841
Publisher: Elsevier Science, 2008

Synopsis

Aimed at starting researchers in the field, Realizability gives a rigorous, yet reasonable introduction to the basic concepts of a field which has passed several successive phases of abstraction. Material from previously unpublished sources such as Ph.D. theses, unpublished papers, etc. has been molded into one comprehensive presentation of the subject area.

  • The first book to date on this subject area
  • Provides an clear introduction to Realizability with a comprehensive bibliography- Easy to read and mathematically rigorous
  • Written by an expert in the field

"synopsis" may belong to another edition of this title.

From the Back Cover

Aimed at starting researchers in the field, Realizability gives a rigorous, yet reasonable introduction to the basic concepts of a field which has passed several successive phases of abstraction. Material from previously unpublished sources such as Ph.D. theses, unpublished papers, etc. has been molded into one comprehensive presentation of the subject area.

"About this title" may belong to another edition of this title.

Publisher
Elsevier Science
Publication date
2008
Language
English
ISBN 10 
0444515844
ISBN 13 
9780444515841
Binding
Hardcover
Edition number
1
Number of pages
450

Other Popular Editions of the Same Title

9780444550200: Realizability: An Introduction to its Categorical Side

Featured Edition

ISBN 10:  0444550208 ISBN 13:  9780444550200
Publisher: Elsevier Science, 2013
Softcover