Logic, form and function : the mechanization of deductive reasoning /
Saved in:
Author / Creator: | Robinson, J. A. (John Alan) |
---|---|
Imprint: | New York : North-Holland, c1979. |
Description: | vi, 312 p. : ill. ; 22 cm. |
Language: | English |
Series: | Elsevier computer science library : artificial intelligence series |
Subject: | |
Format: | Print Book |
URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/351279 |
ISBN: | 0444194673 |
---|---|
Notes: | Includes index. Bibliography: p. [300]-302. |
Similar Items
-
Logic; the art of inference and predication
by: Kane, Dennis C.
Published: (1969) -
Three-valued logic and cut-elimination : the actual meaning of Takeuti's conjecture /
by: Girard, J. Y.
Published: (1976) -
Existence and the particular quantifier /
by: Orenstein, Alex
Published: (1978) -
Dve interpretat͡sii logicheskikh sistem /
by: T͡Selishchev, V. V. (Vitaliĭ Valentinovich)
Published: (1979) -
The logic of plurality
by: Altham, J. E. J. (James Edward John)
Published: (1971)