Mathematical Logic Quarterly

Table of Contents

Volume 32 Issue 10‐12 (1986)

fmi-fmi, 145-191



  • Author:
  • Pub Online: Nov 13, 2006
  • DOI: 10.1002/malq.19860321001 (p fmi-fmi)


On the Proof Theory of the Modal Logic Grz

  • Author: M. Borga, P. Gentilini
  • Pub Online: Nov 13, 2006
  • DOI: 10.1002/malq.19860321002 (p 145-148)

[Russian Text Ignored.]

  • Author:
  • Pub Online: Nov 13, 2006
  • DOI: 10.1002/malq.19860321003 (p 149-180)

Deterministic Algorithms, Simple Languages And One‐to‐One Gentzen Type Formalizations

  • Author: Anita Wasilewska
  • Pub Online: Nov 13, 2006
  • DOI: 10.1002/malq.19860321004 (p 181-188)

The Theory of Boolean Algebras With Q 0 and Quantification Over Ideals

  • Author: Martin Weese
  • Pub Online: Nov 13, 2006
  • DOI: 10.1002/malq.19860321005 (p 189-191)

Related Topics

Related Publications

Related Content

Site Footer


This website is provided by John Wiley & Sons Limited, The Atrium, Southern Gate, Chichester, West Sussex PO19 8SQ (Company No: 00641132, VAT No: 376766987)

Published features on are checked for statistical accuracy by a panel from the European Network for Business and Industrial Statistics (ENBIS)   to whom Wiley and express their gratitude. This panel are: Ron Kenett, David Steinberg, Shirley Coleman, Irena Ograjenšek, Fabrizio Ruggeri, Rainer Göb, Philippe Castagliola, Xavier Tort-Martorell, Bart De Ketelaere, Antonio Pievatolo, Martina Vandebroek, Lance Mitchell, Gilbert Saporta, Helmut Waldl and Stelios Psarakis.