+612 9045 4394
$7.95 Delivery per order to Australia and New Zealand
100% Australian owned
Over a hundred thousand in-stock titles ready to ship
Lectures on Mathematical Logic, Volume II : Lectures on Mathematical Logic - Walter Felscher

Lectures on Mathematical Logic, Volume II

Lectures on Mathematical Logic

Hardcover Published: 30th May 2000
ISBN: 9789056992675
Number Of Pages: 330

Share This Book:


RRP $194.00
or 4 easy payments of $37.31 with Learn more
Ships in 20 business days

Earn 299 Qantas Points
on this Book

In this volume, logic starts from the observation that in everyday arguments, as brought forward by say a lawyer, statements are transformed linguistically, connecting them in formal ways irrespective of their contents. Understanding such arguments as deductive situations, or "sequents" in the technical terminology, the transformations between them can be expressed as logical rules. The book concludes with the algorithms producing the results of Gentzen's midsequent theorem and Herbrand's theorem for prenex formulas.

Sequent Calculi for Positive Logic
Continuous Cut Elimination
Sequent Calculis for Minimal and Intuitionistic Logic
Classes of Algebras Associated to a Calculus
Calculii of Formulas
Sequent Calculii for Quantifier Logic
Semantical Consequence Operations and Modus Ponens Calculi
Selected Topics in Sequential Quantifier Logic
Table of Contents provided by Publisher. All Rights Reserved.

ISBN: 9789056992675
ISBN-10: 9056992678
Series: Lectures on Mathematical Logic : Book 2
Audience: Professional
Format: Hardcover
Language: English
Number Of Pages: 330
Published: 30th May 2000
Publisher: CRC PR INC
Country of Publication: GB
Dimensions (cm): 23.47 x 16.2  x 2.64
Weight (kg): 0.73
Edition Number: 1

Earn 299 Qantas Points
on this Book