Tag: proof theory - flazx.us

Updates

Latest Tweet

Flazx

What's New?

Check out for latest innovation, a computer based training video collection

Like this Page

proof theory

Home / Tags / proof theory /

Showing 2012 and older publications, page 1 of 1

A Concise Introduction to Languages and Machines

September 2008

Logical Foundations of Computer Science: International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings

July 2007

A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity (Oxford Texts in Logic)

September 2004

Program Construction: Calculating Implementations from Specifications

April 2003

Schaum's Outline of Set Theory and Related Topics

July 1998

The Design of Well-Structured and Correct Programs

March 1978

Automata and Computability (Undergraduate Texts in Computer Science)

November -1

Publication by Year

Copyright 2010-2011. All rights reserved.