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 logic
Computer System Implementation.
Mathematics.
Logic, Symbolic and mathematical.
Formal Languages and Automata Theory.
Model theory.
Algebraic Geometry.
Logic in AI.
Logic
Mathematical Logic and Foundations.
Mathematical Logic and Formal Languages.
Algebra.
Number Theory.
Language and logic
Computer and Information Systems Applications.