Mathematical Logic and its Application

(ed.)
Plenum Press (1987)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

ISBN(s)

0306425998   1461282349
View all bargains

Buy this book

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,127

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Chapters

The relational semantics for branched quantifiers.  (pages 315--322)M. Mostowski

Similar books and articles

The relational semantics for branched quantifiers.M. Mostowski - 1987 - In Dimiter G. Skordev (ed.), Mathematical Logic and its Application. Plenum Press. pp. 315--322.
Logic and Its Applications.Edmund Burke & Eric Foxley - 1996
Review: Dimiter G. Skordev, Computability in Combinatory Spaces. An Algebraic Generalization of Abstract First Order Computability. [REVIEW]Dag Normann - 1995 - Journal of Symbolic Logic 60 (2):695-696.
Skordev Dimiter G.. Computability in combinatory spaces. An algebraic generalization of abstract first order computability. Mathematics and its applications , vol. 55. Kluwer Academic publishers, Dordrecht, Boston, and London, 1992, xiv + 320 pp. [REVIEW]Dag Normann - 1995 - Journal of Symbolic Logic 60 (2):695-696.
To teach logic to prospective mathematics teachers.Vladimir Ivanovich Igoshin - 2022 - Известия Саратовского Университета: Новая Серия. Серия Философия. Психология. Педагогика 22 (2):202-207.
The Concept of n‐Cylinder and its Application.M. B. Thuraisingham - 1986 - Mathematical Logic Quarterly 32 (13-16):211-219.
The Concept of n‐Cylinder and its Application.M. B. Thuraisingham - 1986 - Mathematical Logic Quarterly 32 (13‐16):211-219.
A simple tree lemma and its application to a counterexample of philips.Klaus Potthoff - 1977 - Archive for Mathematical Logic 18 (1):67-71.
A logical system based on rules and its application in teaching mathematical logic.Ludwik Borkowski & Jerzy Słupecki - 1958 - Studia Logica 7 (1):71 - 113.
MITRA, G. Theory and Application of Mathematical Programming. [REVIEW]A. Lepschy - 1978 - Scientia 72 (13):21.

Analytics

Added to PP
2012-03-18

Downloads
1 (#1,913,683)

6 months
7 (#491,177)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Dimiter Skordev
Sofia University

Citations of this work

Dynamic squares.Patrick Blackburn & Yde Venema - 1995 - Journal of Philosophical Logic 24 (5):469 - 523.

Add more citations

References found in this work

No references found.

Add more references