Natural deduction :
the logical basis of axiom systems /
John M. Anderson and Henry W. Johnstone, Jr.

Description

Tools

Cite this Export citation file

Main Author: Anderson, John Mueller
Related Names: Johnstone, Henry W., (Henry Webb), Jr. 1920-2000, author.
Language(s): English
Published: ©1962.
Belmont, California : Wadsworth Publishing Company, Inc., [1962]
Subjects: Axiom
Logik
Metamathematics.
Logic, Symbolic and mathematical.
Metamathematics.
Logic, Symbolic and mathematical.
Note: Also issued online.
Physical Description: 418 pages : illustrations ; 24 cm
Locate a Print Version: Find in a library

Viewability

Item Link	Original Source
Full view	University of Michigan
Full view	University of Michigan
Full view	University of California

View HathiTrust MARC record

Similar Items

The realm of art

Author: Anderson, John Mueller.
Published: 1967

The individual and the new world; a study of man's existence based upon American life and thought

Author: Anderson, John Mueller.
Published: 1955

The truth of freedom : an essay on mankind

Author: Anderson, John Mueller.
Published: 1979

The individual and the new world : a study of man's existence based upon American life and thought

Author: Anderson, John Mueller.
Published: 1983

Industrial management

Author: Anderson, A. G. (Arthur G.), 1886-
Published: 1942

Epinal American Cemetery and Memorial

Author: American Battle Monuments Commission.
Published: 1957

North Africa American Cemetery and Memorial

Author: American Battle Monuments Commission.
Published: 1960

Of spies & stratagems

Author: Lovell, Stanley Platt, 1890-
Published: 1963

American contributions to the strategy of World War II.

Author: Morison, Samuel Eliot, 1887-1976.
Published: 1958

They fought alone

Author: Keats, John, 1920-2000.
Published: 1963