The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

Currently displaying 1 – 5 of 5

Showing per page

Order by Relevance | Title | Year of publication

An algebraic and Kripke-style approach to a certain extension of intuitionistic logic

Cecylia Rauszer — 1980

CONTENTSIntroduction............................................................................... 5Chapter I. Semi-Boolean algebras 1. Semi-Boolean algebras....................................... 8 2. Q-filters in semi-Boolean algebras............................ 11 3. Extensions of semi-Boolean algebras...................... 15Chapter II. Algebraic and semantic modelsfor Heyting-Brouwer logic 1. Preliminaries.......................................................... 17 2. Algebraic structures..........................................................

Page 1

Download Results (CSV)