Mathematical logic applications and theory

Mathematical logic applications and theory

Intended to be used in a first course on mathematical logic for undergraduate students of mathematics, science, computer science, and electrical engineering. Covers the notion of a proof in Sentential Calculus. Acquaints students in Predicate Calculus.

Saved in:
Bibliographic Details
Main Author: Rubin, Jean E (Author)
Format: Book
Published: Philadelphia Saunders College Pub. 1990
Series:Saunders series
Subjects:
Logic, symbolic and mathematical
Online Access:Click Here to View Status and Holdings.
Tags: Add Tag
No Tags, Be the first to tag this record!

MARC

LEADER 00000n a2200000 a 4501
001 wils-076282
005 2019728102820
020 # # |a 0030128080  |q hardback 
040 # # |a UiTM  |e rda 
041 0 # |a ENGLISH 
090 0 0 |a QA9  |b .R78 1990 
100 1 # |a Rubin, Jean E  |e author 
245 1 1 |a Mathematical logic  |b applications and theory  |c Jean E. Rubin 
264 # 1 |a Philadelphia  |b Saunders College Pub.  |c 1990 
300 # # |a xvi, 417 pages  |b illustrations  |c 25 cm 
336 # # |a text  |2 rdacontent 
337 # # |a unmediated  |2 rdamedia 
338 # # |a volume  |2 rdacarrier 
490 1 # |a Saunders series 
500 # # |a Includes index 
504 # # |a Includes bibliographical references and indexes (page 415-417) 
520 # # |a Intended to be used in a first course on mathematical logic for undergraduate students of mathematics, science, computer science, and electrical engineering. Covers the notion of a proof in Sentential Calculus. Acquaints students in Predicate Calculus. 
650 # 0 |a Logic, symbolic and mathematical 
856 4 0 |z Click Here to View Status and Holdings.  |u https://opac.uitm.edu.my/opac/detailsPage/detailsHome.jsp?tid=076282 
964 # # |c BOK  |d 01 
998 # # |a 00264#1a002.8.2||00264#1b002.8.4||00300##a003.4.1||00300##b003.6.1||00300##c003.5.1||00500##a002.17.2||00520##a007.2||00520##b007.2|| 

Similar Items