Metadata: Glossary of First-Order Logic

Data Source: SUB

BIBLIOGRAPHIC DATA
TitleGlossary of First-Order Logic
AuthorSuber, Peter
PublisherPhilosophy Department - Earlham College: Richmond, US (IN)
LanguageEnglish
Country (State)United States of America
Format of datatext/html
Keywordsmathematics; logic
Description"This glossary is limited to basic set theory, basic recursive function theory, two branches of logic (truth-functional propositional logic and first-order predicate logic) and their metatheory."
URLhttp://www.earlham.edu/~peters/courses/logsys/glossary.htm
 
CLASSIFICATION
Source TypeOther Lists of Documents
MSCverbalClassical first-order logic
MSC03B10
 
ADDITIONAL INFORMATION
Levelundergraduate - professional
 
STATISTICS
Backlinks370
© SSG-FI2009-10-20


VLib MathVLibMath | MathGuideMathGuide |Subject CatalogSubject |Source Type CatalogSource Type |SearchLocal Search

This document was created using Allegro V31.

© SSG-FI, SUB Göttingen, 1997-2013