Home » Lectures on Mathematical Logic, Volume II
Product Image
Walter Felscher

Lectures on Mathematical Logic, Volume II

★★★★★
★★★★★
€75.99
A01=Walter Felscher
Age Group_Uncategorized
Age Group_Uncategorized
Author_Walter Felscher
automatic-update
Boolean Algebras
calculi
Category1=Non-Fiction
Category=PBCD
Category=PBCH
Category=PBK
Category=PBW
Congruence Relation
COP=United Kingdom
Cut
Cut Degree
Cut Formula
Delivery_Pre-order
ent
eq_isMigrated=2
Follow
formula
Generalized Axiom
Holds
Ib Le
Inversion Rules
isses
Language_English
Left Prem
maximal
Maximal Nodes
node
P Te
PA=Temporarily unavailable
prem
Price_€50 to €100
principal
Principal Formula
Principal Occurrence
PS=Active
Reflexive Axiom
Root Piece
RPC
Ru Le
Sequent Calculus
sequential
Side Formula
softlaunch
statem
Tan Ces
Term Algebra
Vice Versa
Violate

Product details

  • ISBN 9780367398583
  • Weight: 620g
  • Dimensions: 152 x 229mm
  • Publication Date: 05 Sep 2019
  • Publisher: Taylor & Francis Ltd
  • Publication City/Country: GB
  • Product Form: Paperback
  • Language: English
Delivery/Collection within 10-20 working days

Our Delivery Time Frames Explained
2-4 Working Days: Available in-stock

10-20 Working Days: On Backorder

Will Deliver When Available: On Pre-Order or Reprinting

We ship your order once all items have arrived at our warehouse and are processed. Need those 2-4 day shipping items sooner? Just place a separate order for them!

Description
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.
About Walter Felscher
Felscher, Walter