Introduction to logic for systems modelling /

Bibliographic Details
Main Author: Pinkava, Václav
Format: Book
Language:English
Published: Cambridge, Mass. : Abacus Press, 1988.
Series:Information technology and systems series.
Subjects:

MARC

Tag First Indicator Second Indicator Subfields
LEADER 00000cam a2200000 a 4500
001 in00000031345
005 20151007060406.0
008 870114s1988 maua 00010 eng
010 |a  87001809  
020 |a 0856264318 :  |c $27.00 
035 |a (OCoLC)15132645 
035 |9 AAC0741AM 
040 |a DLC  |c DLC  |d TXA  |d UtOrBLW 
049 |a TXAM  |c [A11682503] 
050 0 0 |a QA9  |b .P53 1988 
082 0 |a 003  |2 19 
100 1 |a Pinkava, Václav. 
245 1 0 |a Introduction to logic for systems modelling /  |c Václav Pinkava. 
264 1 |a Cambridge, Mass. :  |b Abacus Press,  |c 1988. 
300 |a 132 pages :  |b illustrations ;  |c 24 cm. 
336 |a text  |b txt  |2 rdacontent 
337 |a unmediated  |b n  |2 rdamedia 
338 |a volume  |b nc  |2 rdacarrier 
490 1 |a Information technology and systems series 
650 0 |a Logic, Symbolic and mathematical. 
650 0 |a Machine theory. 
650 0 |a Many-valued logic. 
830 0 |a Information technology and systems series. 
999 |a MARS 
999 f f |s e4b1388b-90ac-393a-a2ad-23983449138a  |i bac0233e-2f7a-3299-9a2f-a2fb01e0db4e  |t 0 
952 f f |p ric  |a Texas A&M University  |b Rellis Campus  |c Joint Library Facility  |d Remote Storage  |t 0  |e QA9 .P53 1988  |h Library of Congress classification  |i unmediated -- volume  |m A14811682503 
998 f f |a QA9 .P53 1988  |t 0  |l Remote Storage