Login

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Igarashi, Shigeru ; London, Ralph L. ; Luckham, David C., Automatic Program Verification I: A Logical Basis and its Implementation (1973)
Ignjatovic, Aleksandar Djordje, Fragments of First and Second Order Arithmetic and Length of Proofs (1990)
Ihoda, Jaime I., Unbounded Filters on $\omega$ (1987)
Ihoda, Jaime I. ; Shelah, Saharon, Martin's Axioms, Measurability and Equiconsistency Results
Ioanin,Gh., About the Algebrical Theory of the Multipositional Contacts and its Applications to the Study of Real Operating Contacts (1964)
Irawitz, Dag, Comments on Gentzen-Type Procedures and the Classical Notion of Truth (1975)
Isaacson, Daniel, Arithmetical Truth and Hidden Higher-Order Concepts (1985)
Isard, S., A Finitely Axiomatizable Undecidable Extension of K
Isbell, John R., Small Subcategories and Completions (1968)
Is├ęki, Kiyoshi, Une condition pour qu'un lattice soit distributif (1950)