A Course on Mathematical Logic - Universitext
Latest Publications

TOTAL DOCUMENTS

7

(FIVE YEARS 0)

H-INDEX

0

(FIVE YEARS 0)

Published By Springer New York

9781461457459, 9781461457466

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Syntax of First-Order Logic

A Course on Mathematical Logic - Universitext ◽

10.1007/978-1-4614-5746-6_1 ◽

2012 ◽

pp. 1-13

Author(s):

Shashi Mohan Srivastava

Keyword(s):

Order Logic ◽

First Order Logic ◽

Download Full-text

Semantics of First-Order Languages

A Course on Mathematical Logic - Universitext ◽

10.1007/978-1-4614-5746-6_2 ◽

2012 ◽

pp. 15-40

Author(s):

Shashi Mohan Srivastava

Keyword(s):

Download Full-text

Model Theory

A Course on Mathematical Logic - Universitext ◽

10.1007/978-1-4614-5746-6_5 ◽

2012 ◽

pp. 85-140

Author(s):

Shashi Mohan Srivastava

Keyword(s):

Download Full-text

Recursive Functions and Arithmetization of Theories

A Course on Mathematical Logic - Universitext ◽

10.1007/978-1-4614-5746-6_6 ◽

2012 ◽

pp. 141-164

Author(s):

Shashi Mohan Srivastava

Keyword(s):

Recursive Functions

Download Full-text

Completeness Theorem for First-Order Logic

A Course on Mathematical Logic - Universitext ◽

10.1007/978-1-4614-5746-6_4 ◽

2012 ◽

pp. 57-84

Author(s):

Shashi Mohan Srivastava

Keyword(s):

Completeness Theorem ◽

Order Logic ◽

First Order Logic ◽

Download Full-text

Representability and Incompleteness Theorems

A Course on Mathematical Logic - Universitext ◽

10.1007/978-1-4614-5746-6_7 ◽

2012 ◽

pp. 165-191

Author(s):

Shashi Mohan Srivastava

Keyword(s):

Incompleteness Theorems

Download Full-text

Propositional Logic

A Course on Mathematical Logic - Universitext ◽

10.1007/978-1-4614-5746-6_3 ◽

2012 ◽

pp. 41-55

Author(s):

Shashi Mohan Srivastava

Keyword(s):

Propositional Logic

Download Full-text