Logic Colloquium '95 Image close
Logic Colloquium '95 on Hardback
Logic Colloquium '95 on Hardback
Show Hide Adult Content
Logic Colloquium '95 close

Non-Fiction Books:

Home  
Books  
Non-Fiction  
Maths & Science  
Mathematics  
Mathematical foundations  
Mathematical logic

Logic Colloquium '95

Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9–18, 1995
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Hardback
$345.99
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley

Buy Now, Pay Later with:

4 payments of $86.50 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 18-28 June using International Courier

Explore more Lecture Notes in Logic

See all products in this series

Logic Colloquium 2005 on Hardback by Ludomir Newelski
$305.99
Logic Colloquium 2005
by Ludomir Newelski ~ Hardback
Available - Usually ships in 3-4 weeks
Homogeneous Ordered Graphs, Metrically Homogeneous Graphs, and Beyond: Volume 1, Ordered Graphs and Distanced Graphs on Hardback by Gregory Cherlin
$320.99
Homogeneous Ordered Graphs, Metrically Homogeneous Graphs, and...
by Gregory Cherlin ~ Hardback
Available - Usually ships in 3-4 weeks
Quantifiers, Propositions and Identity on Hardback by Robert Goldblatt
$306.99
Quantifiers, Propositions and Identity
by Robert Goldblatt ~ Hardback
Available - Usually ships in 3-4 weeks
Logic Colloquium 2007 on Hardback
$295.99
Logic Colloquium 2007
Hardback
Available - Usually ships in 3-4 weeks
Stable Domination and Independence in Algebraically Closed Valued Fields by Deirdre Haskell
$111.99
Stable Domination and Independence in Algebraically Closed Valued...
by Deirdre Haskell ~ Paperback / softback
Available - Usually ships in 3-4 weeks
The Core Model Iterability Problem by John Steel Save $51
$135.99
$187.95
The Core Model Iterability Problem
by John Steel ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Kurt Gödel
$114.99
Kurt Gödel
Paperback / softback
Available - Usually ships in 3-4 weeks
Homogeneous Ordered Graphs, Metrically Homogeneous Graphs, and Beyond: Volume 2, 3-Multi-graphs and 2-Multi-tournaments on Hardback by Gregory Cherlin
$285.99
Homogeneous Ordered Graphs, Metrically Homogeneous Graphs, and...
by Gregory Cherlin ~ Hardback
Available - Usually ships in 3-4 weeks
A General Algebraic Semantics for Sentential Logics on Hardback by Josep Maria Font
$304.99
A General Algebraic Semantics for Sentential Logics
by Josep Maria Font ~ Hardback
Available - Usually ships in 3-4 weeks
Logic Colloquium '90 on Hardback
$295.99
Logic Colloquium '90
Hardback
Available - Usually ships in 3-4 weeks
Logic Colloquium '96 on Hardback
$293.99
Logic Colloquium '96
Hardback
Available - Usually ships in 3-4 weeks
Descriptive Set Theory and Forcing by Arnold Miller Save $51
$135.99
$187.95
Descriptive Set Theory and Forcing
by Arnold Miller ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Complexity of Infinite-Domain Constraint Satisfaction on Hardback by Manuel Bodirsky
$358.99
Complexity of Infinite-Domain Constraint Satisfaction
by Manuel Bodirsky ~ Hardback
Available - Usually ships in 3-4 weeks
Descriptive Set Theory and Forcing on Hardback by Arnold W Miller
$304.99
Descriptive Set Theory and Forcing
by Arnold W Miller ~ Hardback
Available - Usually ships in 3-4 weeks
Bounded Variable Logics and Counting on Hardback by Martin Otto
$304.99
Bounded Variable Logics and Counting
by Martin Otto ~ Hardback
Available - Usually ships in 3-4 weeks
Games, Scales and Suslin Cardinals on Hardback
$299.99
Games, Scales and Suslin Cardinals
Hardback
Available - Usually ships in 3-4 weeks

Description

Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the eleventh publication in the Lecture Notes in Logic series, collects the proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in 1995. It includes papers in the core areas of set theory, model theory, proof theory and recursion theory, as well as the more recent topics of finite model theory and non-monotonic logic. It also includes a tutorial on interactive proofs, zero-knowledge and computationally sound proofs that reported on recent developments in theoretical computer science, and three plenary lectures dedicated to the foundational and technical evolution of set theory over the past 100 years.

Author Biography:

Johann A. Makowsky works in the Department of Computer Science at Technion - Israel Institute of Technology, Haifa. Elena V. Ravve works in the Department of Computer Science at Technion - Israel Institute of Technology, Haifa.
Release date Australia
March 2nd, 2017
Audience
  • Professional & Vocational
Contributors
  • Edited by Elena V. Ravve
  • Edited by Johann A. Makowsky
Illustrations
17 Line drawings, black and white
Pages
365
Dimensions
158x235x28
ISBN-13
9781107167902
Product ID
26842729

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Non-Fiction >
Maths & Science >
Mathematics >
Mathematical foundations >
Mathematical logic