Advanced
Advanced

Browsing by Author Srivastava, S. M.

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 1 to 1 of 1
  • 748.pdf.jpg
  • Book

  • A course on mathematical logic

    • Authors: Srivastava, S. M. (2008)

  • Preface -- Syntax of first order logic -- Semantics of first-order languages -- Propositional logic -- Proof and metatheorems in first-order logic -- Completeness theorem and model theory -- Recursive functions and arithmetization of theories -- Incompleteness theorems and recursion theory -- References -- Index

    Readership Map

    ABSTRACTS VIEWS

    45367977

    VIEWS & DOWNLOAD

    27534687

    Content Distribution

Browsing by Author Srivastava, S. M.

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 1 to 1 of 1
  • 748.pdf.jpg
  • Book

  • A course on mathematical logic

    • Authors: Srivastava, S. M. (2008)

  • Preface -- Syntax of first order logic -- Semantics of first-order languages -- Propositional logic -- Proof and metatheorems in first-order logic -- Completeness theorem and model theory -- Recursive functions and arithmetization of theories -- Incompleteness theorems and recursion theory -- References -- Index