The following text field will produce suggestions that follow it as you type.

Home

Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990

Barnes and Noble

Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990

Current price: $46.99
Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990
Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990

Barnes and Noble

Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990

Current price: $46.99

Size: OS

Loading Inventory...
CartBuy Online
*Product information may vary - to confirm product availability, pricing, shipping and return information please contact Barnes and Noble
This work is derived from the SERC "Logic for IT" Summer School Conference on Proof Theory held at Leeds University. The contributions come from acknowledged experts and comprise expository and research articles which form an invaluable introduction to proof theory aimed at both mathematicians and computer scientists.

You May Also Like

Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990
Loading Inventory...
Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990
Barnes & Noble
Current price: $46.99
Proof Theory for Fuzzy Logics / Edition 1
Loading Inventory...
Proof Theory for Fuzzy Logics / Edition 1
Barnes & Noble
Current price: $129.99
Proof Theory of Modal Logic / Edition 1
Loading Inventory...
Proof Theory of Modal Logic / Edition 1
Barnes & Noble
Current price: $169.99
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs
Loading Inventory...
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs
Barnes & Noble
Current price: $130.00
The Semantics and Proof Theory of the Logic of Bunched Implications / Edition 1
Loading Inventory...
The Semantics and Proof Theory of the Logic of Bunched Implications / Edition 1
Barnes & Noble
Current price: $169.99
Computer Aided Systems Theory - EUROCAST '93: A Selection of Papers from the Third International Workshop on Computer Aided Systems Theory, Las Palmas, Spain, February 22 - 26, 1993. Proceedings / Edition 1
Loading Inventory...
Computer Aided Systems Theory - EUROCAST '93: A Selection of Papers from the Third International Workshop on Computer Aided Systems Theory, Las Palmas, Spain, February 22 - 26, 1993. Proceedings / Edition 1
Barnes & Noble
Current price: $54.99
Computer Aided Systems Theory - EUROCAST 2001: A Selection of Papers from the 8th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 19-23, 2001. Revised Papers / Edition 1
Loading Inventory...
Computer Aided Systems Theory - EUROCAST 2001: A Selection of Papers from the 8th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 19-23, 2001. Revised Papers / Edition 1
Barnes & Noble
Current price: $109.99
Applied Proof Theory: Proof Interpretations and their Use in Mathematics / Edition 1
Loading Inventory...
Applied Proof Theory: Proof Interpretations and their Use in Mathematics / Edition 1
Barnes & Noble
Current price: $139.99
Leeds United in the 1980s and 1990s: From Wilderness Years to Wilko
Loading Inventory...
Leeds United in the 1980s and 1990s: From Wilderness Years to Wilko
Barnes & Noble
Current price: $26.99
Compositionality, Concurrency, and Partial Correctness: Proof Theories for Networks of Processes, and Their Relationship / Edition 1
Loading Inventory...
Compositionality, Concurrency, and Partial Correctness: Proof Theories for Networks of Processes, and Their Relationship / Edition 1
Barnes & Noble
Current price: $54.99
Dangerous Creations: Papers from a Roundtable Discussion
Loading Inventory...
Dangerous Creations: Papers from a Roundtable Discussion
Barnes & Noble
Current price: $8.99
Hebrew Characteristics. Miscellaneous Papers from the German
Loading Inventory...
Hebrew Characteristics. Miscellaneous Papers from the German
Barnes & Noble
Current price: $59.90

Keep Shopping

on sale.jpg

On Sale

new in.jpg

New In

men.jpg

Men

women.jpg

Women

baby abd kids.jpg

Baby and Kids

beaity.jpg

Beauty

jewelry.jpg

Jewelry

More About Barnes and Noble at The Summit

With an excellent depth of book selection, competitive discounting of bestsellers, and comfortable settings, Barnes & Noble is an excellent place to browse for your next book.

Store Info

Powered by Adeptmind