V.V. Rybakov – författare

Visar alla böcker från författaren V.V. Rybakov. Handla med fri frakt och snabb leverans.

2 produkter

1. 

   Admissibility of Logical Inference Rules

   Av V.V. Rybakov

   E-bok, 1997

   1894 kr

   Lägg i varukorg

   The aim of this book is to present the fundamental theoretical results concerning inference rules in deductive formal systems. Primary attention is focused on:• admissible or permissible inference rules• the derivability of the admissible inference rules• the structural completeness of logics• the …

2. 

   Admissibility of Logical Inference Rules

   Av V.V. Rybakov

   Inbunden, 1997

   2031 kr

   Lägg i varukorg

   The aim of this book is to present the fundamental theoretical results concerning inference rules in deductive formal systems. Primary attention is focused on: . admissible or permissible inference rules . the derivability of the admissible inference rules . the structural completeness of logics . …