Atención: recuerde que este es un catálogo parcial de nuestra colección.
Búsqueda por número de registro: 001822
 
LDR ·····cam##22·····5##4500
001 001822
005 20130409111922.0
008 681126s1968####nyu######b####001#0#eng#d
245 10 $a First-order logic / $c Raymond M. Smullyan.
260 ## $a New York : $b Springer-Verlag, $c 1968.
300 ## $a xii, 158 p. ; $c 24 cm.
440 #0 $a Ergebnisse der Mathematik und ihrer Grenzgebiete ; $v Bd. 43
504 ## $a Bibliografía: p. [156]
505 8# $a Part I. Propositional logic from the viewpoint of analytic tableaux: Chapter I. Preliminaries -- Chapter II. Analytic tableaux -- Chapter III. Compactness.
505 8# $a Part II. First-order logic: Chapter IV. First-order logic. Preliminaries -- Chapter V. First-order analytic tableaux -- Chapter VI. A unifying principle -- Chapter VII. The fundamental theorem of quantification theory -- Chapter VIII. Axiom systems for quantification theory -- Chapter IX. Magic sets -- Chapter X. Analytic versus synthetic consistency properties.
505 8# $a Part III. Further Topics in First-Order Logic: Chapter XI. Gentzen systems -- Chapter XII. Elimination theorems -- Chapter XIII. Prenex tableaux -- Chapter XIV. More on Gentzen systems -- Chapter XV. Craig's interpolation lemma and Beth's definability theorem -- Chapter XVI. Symmetric completeness theorems -- Chapter XVII. Systems of linear reasoning.
510 4# $a MR, $c 39 #5311
100 1# $a Smullyan, Raymond M.
084 ## $a 03B10 $2 msc2000
010 ## $a ###68013495#

Explorar índices alfabéticos


Ingrese las primeras letras del autor o título que busca. Omita artículos iniciales en títulos.

Búsquedas por tema: explore la MSC 2000

¿Necesita ayuda?

Si necesita ayuda para encontrar información, puede visitar personalmente la biblioteca, llamarnos por teléfono al 291 459 5116, o enviarnos un mensaje a bibima@criba.edu.ar.

Para solicitar copias de artículos, complete el formulario o escríbanos a pedidos.inmabb@gmail.com

Enlaces surtidos