Mathematical Logic
Latest Publications

TOTAL DOCUMENTS

28

(FIVE YEARS 0)

H-INDEX

7

(FIVE YEARS 0)

Published By Springer US

9781461278900, 9781461306092

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Effective Enumerations of Abstract Structures

Mathematical Logic ◽

10.1007/978-1-4613-0609-2_26 ◽

1990 ◽

pp. 361-372 ◽

Cited By ~ 1

Author(s):

Alexandra A. Soskova ◽

Ivan N. Soskov

A Temporal Logic for Event Structures

Mathematical Logic ◽

10.1007/978-1-4613-0609-2_23 ◽

1990 ◽

pp. 327-338 ◽

Cited By ~ 3

Author(s):

Wojciech Penczek

Keyword(s):

Temporal Logic ◽

Event Structures

Lattices Adequate for Intuitionistic Predicate Logic

Mathematical Logic ◽

10.1007/978-1-4613-0609-2_20 ◽

1990 ◽

pp. 293-297

Author(s):

Wojciech Dzik

Keyword(s):

Predicate Logic

Sequent Calculus for Intuitionistic Linear Propositional Logic

Mathematical Logic ◽

10.1007/978-1-4613-0609-2_15 ◽

1990 ◽

pp. 223-242 ◽

Cited By ~ 7

Author(s):

V. Michele Abrusci

Keyword(s):

Propositional Logic ◽

Sequent Calculus

Hierarchies of Provably Computable Functions

Mathematical Logic ◽

10.1007/978-1-4613-0609-2_14 ◽

1990 ◽

pp. 211-220 ◽

Cited By ~ 1

Author(s):

S. S. Wainer

Keyword(s):

Computable Functions

A Survey of Intuitionistic Descriptive Set Theory

Mathematical Logic ◽

10.1007/978-1-4613-0609-2_12 ◽

1990 ◽

pp. 155-174 ◽

Cited By ~ 2

Author(s):

Wim Veldman

Keyword(s):

Set Theory ◽

Descriptive Set Theory ◽

Descriptive Set

Interpretability Logic

Mathematical Logic ◽

10.1007/978-1-4613-0609-2_13 ◽

1990 ◽

pp. 175-209 ◽

Cited By ~ 21

Author(s):

Albert Visser

Keyword(s):

Interpretability Logic

Modal Characterization of the Classes of Finite and Infinite Quasi-Ordered Sets

Mathematical Logic ◽

10.1007/978-1-4613-0609-2_27 ◽

1990 ◽

pp. 373-387 ◽

Cited By ~ 2

Author(s):

Dimiter Vakarelov

Keyword(s):

Ordered Sets

Order Isomorphisms – A Constructive Measure-Theoretic View

Mathematical Logic ◽

10.1007/978-1-4613-0609-2_16 ◽

1990 ◽

pp. 243-255 ◽

Cited By ~ 1

Author(s):

Douglas S. Bridges

Keyword(s):

Order Isomorphisms

Some Relations among Systems for Bounded Arithmetic

Mathematical Logic ◽

10.1007/978-1-4613-0609-2_11 ◽

1990 ◽

pp. 139-154 ◽

Cited By ~ 1

Author(s):

Gaisi Takeuti

Keyword(s):

Bounded Arithmetic