Home Newsletter
News Books
Welcome to FreeScience.info Language/Lingua

Books 3054
· Book News
· Most clicked
· Least clicked

Search for a Book
Add a new Book

A Problem Course in Mathematical Logic

Author: Stefan Bilaniuk
Url: http://euclid.trentu.ca/math/sb/pcml/welcome.html
Format: Ps, Pdf, TeX
Category: Logic
Pages: 166
Clicks: 37

A Problem Course in Mathematical Logic is intended to serve as the text for an introduction to mathematical logic for undergraduates with some mathematical sophistication. It supplies definitions, statements of results, and problems, along with some explanations, examples, and hints. The idea is for the students, individually or in groups, to learn the material by solving the problems and proving the results for themselves. The book should do as the text for a course taught using the modified Moore-method. The material and its presentation are pretty stripped-down and it will probably be desirable for the instructor to supply further hints from time to time or to let the students consult other sources. Various concepts and and topics that are often covered in introductory mathematical logic or computability courses are given very short shrift or omitted entirely, among them normal forms, definability, and model theory.

Similar Books
Mathematical Logic
Logic for Everyone
Mathematical Logic - an Introduction
Logic and Computation
forall X
Logic Deductive ans Inductive
Introduction to mathematical logic - A problem solving course
An Introduction to Mathematical Logic
The art of logic
Science of Logic
Elements of deductive logic
Introduction to Modal Logic
Symbolic Logic: A Second Course
Proof, Sets, and Logic
Lectures on Linear Logic
Decision by Objectives
Model-Theoretic Logics
Mathematics of modality
Logics of time and computation
Logic and Information
Logic and linear algebra: an introduction

Home |  Authors | About | Contact Us |  Email 
 Copyright © 2002-2013 FreeScience.info. 

Best viewed with Mozilla 1.X 1024x768
free scientific books