Mathematical Logic
Latest Publications

TOTAL DOCUMENTS

32

(FIVE YEARS 0)

H-INDEX

0

(FIVE YEARS 0)

Published By Springer New York

9781468494549, 9781468494525

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Recursively Enumerable Sets

Mathematical Logic ◽

10.1007/978-1-4684-9452-5_7 ◽

1976 ◽

pp. 92-104

Author(s):

J. Donald Monk

Keyword(s):

Recursively Enumerable ◽

Recursively Enumerable Sets

Download Full-text

Finitary Extensions

Mathematical Logic ◽

10.1007/978-1-4684-9452-5_31 ◽

1976 ◽

pp. 488-503

Author(s):

J. Donald Monk

Download Full-text

Inessential Variations

Mathematical Logic ◽

10.1007/978-1-4684-9452-5_30 ◽

1976 ◽

pp. 473-487

Author(s):

J. Donald Monk

Download Full-text

Preservation and Characterization Theorems

Mathematical Logic ◽

10.1007/978-1-4684-9452-5_26 ◽

1976 ◽

pp. 393-405

Author(s):

J. Donald Monk

Keyword(s):

Characterization Theorems

Download Full-text

Complete Theories

Mathematical Logic ◽

10.1007/978-1-4684-9452-5_22 ◽

1976 ◽

pp. 349-364

Author(s):

J. Donald Monk

Keyword(s):

Complete Theories

Download Full-text

Turing Machines

Mathematical Logic ◽

10.1007/978-1-4684-9452-5_2 ◽

1976 ◽

pp. 14-25

Author(s):

J. Donald Monk

Keyword(s):

Turing Machines

Download Full-text

Some Undecidable Theories

Mathematical Logic ◽

10.1007/978-1-4684-9452-5_17 ◽

1976 ◽

pp. 279-297

Author(s):

J. Donald Monk

Download Full-text

Some Decidable Theories

Mathematical Logic ◽

10.1007/978-1-4684-9452-5_14 ◽

1976 ◽

pp. 233-243

Author(s):

J. Donald Monk

Keyword(s):

Decidable Theories

Download Full-text

Recursive Functions; Turing Computability

Mathematical Logic ◽

10.1007/978-1-4684-9452-5_4 ◽

1976 ◽

pp. 45-68

Author(s):

J. Donald Monk

Keyword(s):

Turing Computability ◽

Recursive Functions

Download Full-text

Types

Mathematical Logic ◽

10.1007/978-1-4684-9452-5_28 ◽

1976 ◽

pp. 441-453

Author(s):

J. Donald Monk

Download Full-text