Volume 61; Issue 3

Studia Logica

Volume 61; Issue 3
1

Isomorphism and Equational Equivalence of Continuous λ-Models

Year:
1998
File:
PDF, 659 KB
1998
3

Interpolation and Amalgamation; Pushing the Limits. Part I

Year:
1998
File:
PDF, 1.75 MB
1998
5

Varieties of Monadic Heyting Algebras. Part I

Year:
1998
File:
PDF, 1.97 MB
1998
6

Book Reviews

Year:
1998
File:
PDF, 1.31 MB
1998
7

Interpolation and Amalgamation; Pushing the Limits. Part I

Year:
1998
Language:
english
File:
PDF, 3.09 MB
english, 1998
8

Isomorphism and Equational Equivalence of Continuous λ-Models

Year:
1998
Language:
english
File:
PDF, 1.22 MB
english, 1998
10

Finite Sets and Natural Numbers in Intuitionistic TT without Extensionality

Year:
1998
Language:
english
File:
PDF, 1.00 MB
english, 1998
11

Back Matter

Year:
1998
Language:
english
File:
PDF, 263 KB
english, 1998
13

Definability and Computabilityby Yuri L. Ershov

Year:
1998
Language:
english
File:
PDF, 486 KB
english, 1998
14

Front Matter

Year:
1998
Language:
english
File:
PDF, 258 KB
english, 1998
15

Theory of Language Syntax. Categorial Approachby Urszula Wybraniec-Skardowska

Year:
1998
Language:
english
File:
PDF, 402 KB
english, 1998
16

Frege: Sense and Reference One Hundred Years Laterby John Biro; Petr Kotatko

Year:
1998
Language:
english
File:
PDF, 983 KB
english, 1998
17

Varieties of Monadic Heyting Algebras. Part I

Year:
1998
Language:
english
File:
PDF, 3.53 MB
english, 1998