First-order logic
By: by Per Lindström
Series: Library of theoria -- no. 27; Library of theoria -- no. 27.
Publisher: Thales
Published: 2011
Place of publication: Stockholm
Language: eng
Number of pages: 174
ISBN-13: 9789172350830
Subjects: First-order logic; Symbolic and mathematical Logic
Notes: Includes bibliographical references (p. 163-168) and index.