A system of implicit quantification

E-ISSN： 1943-5886|32|4|480-504

ISSN： 0022-4812

Source： The Journal of Symbolic Logic, Vol.32, Iss.4, 1968-02, pp. : 480-504

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

The Index of an Infinite Dimensional Implicit System

By Campbell S.L. Marszalek W.

Mathematical and Computer Modelling of Dynamical Systems, Vol. 5, Iss. 1, 1999-03 ,pp. : 18-42

Taylor & Francis Ltd

Access to resources Recommend Favorite

Implicit-Explicit Runge-Kutta Schemes for the Boltzmann-Poisson System for Semiconductors

Communications in Computational Physics, Vol. 15, Iss. 5, 2014-05 ,pp. : 1291-1319

Cambridge University Press

Access to resources Recommend Favorite

An implicit scheme to solve a system of ODEs arising from the space discretization of nonlinear diffusion equations

By Boillat Éric

ESAIM: Mathematical Modelling and Numerical Analysis, Vol. 35, Iss. 4, 2010-03 ,pp. : 749-765

Edp Sciences

Access to resources Recommend Favorite

Implicit proofs

The Journal of Symbolic Logic, Vol. 69, Iss. 2, 2004-06 ,pp. : 387-397

Cambridge University Press

Access to resources Recommend Favorite

On weakened quantification

The Journal of Symbolic Logic, Vol. 11, Iss. 4, 1946-12 ,pp. : 119-121

Cambridge University Press

Access to resources Recommend Favorite