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) |