 |


|
 |
Item Details
Title:
|
LOGIC COLLOQUIUM '96
PROCEEDINGS OF THE COLLOQUIUM HELD IN SAN SEBASTIAN, SPAIN, JULY 9-15, 1996 |
By: |
J.M. Larrazabal (Editor), Daniel Lascar (Editor), Grigori Mints (Editor) |
Format: |
Paperback |

List price:
|
£69.99 |
We believe that this item is permanently unavailable, and so we cannot source
it.
|
|
|
|
|
ISBN 10: |
354064668X |
ISBN 13: |
9783540646686 |
Publisher: |
SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG |
Pub. date: |
16 July, 1998 |
Series: |
Lecture Notes in Logic 12 |
Pages: |
272 |
Description: |
This text contains 11 contributions by invited speakers at the annual Logic Colloquium which was held in San Sebastian, in July 1996. They cover model theory, proof theory, recursion and complexity theory, logic for artificial intelligence and formal semantics of natural artificial languages. |
Synopsis: |
This volume contains eleven contributions by invited speakers at the annual Logic Colloquium which was held in San Sebastian, Spain, in July 1996. They cover model theory, proof theory, recursion and complexity theory, logic for artificial intelligence and formal semantics of natural languages, and include both recent results and survey articles on the central topics in logic written by specialists for a wide audience. |
Illustrations: |
1 black & white illustrations, biography |
Publication: |
Germany |
Imprint: |
Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
Returns: |
Returnable |
|
|
|
 |


|

|

|

|

|
Little Worried Caterpillar (PB)
Little Green knows she''s about to make a big change - transformingfrom a caterpillar into a beautiful butterfly. Everyone is VERYexcited! But Little Green is VERY worried. What if being a butterflyisn''t as brilliant as everyone says?Join Little Green as she finds her own path ... with just a littlehelp from her friends.

|

|
All the Things We Carry PB
What can you carry?A pebble? A teddy? A bright red balloon? A painting you''ve made?A hope or a dream?This gorgeous, reassuring picture book celebrates all the preciousthings we can carry, from toys and treasures to love and hope. With comforting rhymes and fabulous illustrations, this is a warmhug of a picture book.

|

|
|
 |