Srivastava, Shashi Mohan.
Overview
| Works: | 1 works in 3 publications in 1 languages | |
|---|---|---|
Titles
A course on basic model theory
by:
Sarbadhikari, Haimanti.; Srivastava, Shashi Mohan.; SpringerLink (Online service)
(Language materials, printed)
A course on mathematical logic
by:
SpringerLink (Online service); Srivastava, Shashi Mohan.
(Language materials, printed)
Logic and its applications = 11th Indian Conference, ICLA 2025, Kolkata, India, February 3-5, 2025 : proceedings /
by:
Srivastava, Shashi Mohan.; SpringerLink (Online service); Aiswarya, C.; Sen, Prabal Kumar.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)
Subjects
Software Engineering.
Computer System Implementation.
Formal Languages and Automata Theory.
Model theory.
Logic in AI.
Mathematical Logic and Foundations.
Mathematical Logic and Formal Languages.
Number Theory.
Computer and Information Systems Applications.
Computer logic
Mathematics.
Logic, Symbolic and mathematical.
Algebraic Geometry.
Logic
Algebra.
Language and logic