Fields of Logic and Computation III: Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday
Author:   Andreas Blass ,  Patrick Cégielski ,  Nachum Dershowitz ,  Manfred Droste
Publisher:   Springer Nature Switzerland AG
Edition:   1st ed. 2020
Volume:   12180
ISBN:  

9783030480059


Pages:   341
Publication Date:   23 May 2020
Format:   Paperback
Availability:   Manufactured on demand   Availability explained
We will order this item for you from a manufactured on demand supplier.

Our Price $116.41 Quantity:  
Add to Cart

Share |

Fields of Logic and Computation III: Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday


Add your own review!

Overview

This Festschrift is published in honor of Yuri Gurevich’s 80th birthday. An associated conference, YuriFest 2020, was planned for May 18–20 in Fontainebleau, France, in combination with the 39th Journées sur les Arithmétiques Faibles also celebrating Yuri’s 80th birthday. Because of the coronavirus situation, the conference had to be postponed, but this Festschrift is being published as originally planned. It addresses a very wide variety of topics, but by no means all of the fields of logic and computation in which Yuri has made important progress.

Full Product Details

Author:   Andreas Blass ,  Patrick Cégielski ,  Nachum Dershowitz ,  Manfred Droste
Publisher:   Springer Nature Switzerland AG
Imprint:   Springer Nature Switzerland AG
Edition:   1st ed. 2020
Volume:   12180
Weight:   0.539kg
ISBN:  

9783030480059


ISBN 10:   3030480054
Pages:   341
Publication Date:   23 May 2020
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   Manufactured on demand   Availability explained
We will order this item for you from a manufactured on demand supplier.

Table of Contents

Computation.- Logic.- Verification.- Topos theory. -Parallel Computing.- Tree.- Gurevich conjecture.- Arabic algorithms.- Hyperbolic group.- Lattice-ordered group.- Temporal logic.- Metric logic.- Random convergence.- Knot theory.- Entropic convergence.- Random access machine, PTIME.- Algorithmic randomness. 

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions
Latest Reading Guide

MRG2025CC

 

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now