Details for: Dedução no cálculo sentencial › Catálogo Bibliográfico NOVA FCT catalog

Image from Google Jackets

Normal view MARC view ISBD view

Dedução no cálculo sentencial / Leônidas Hegenberg

Main Author: Hegenberg, LeônidasLanguage: por.Country: BR - Brasil.Publication: São Paulo : Universidade de São Paulo, 1977Description: (15), 160 p. ; 21 cmSeries: Lógica - Exercícios - IISubject - Topical Name: Lógica matemática

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings ( 1 )
Comments ( 0 )

Holdings
Item type	Current library	Collection	Call number	Copy number	Status	Date due	Barcode
Monografia	Biblioteca NOVA FCT Depósito 1	Não Ficção	QA9.HEG FCT 68548 (Browse shelf(Opens below))	1	Available		0059216

Browsing Biblioteca NOVA FCT shelves, Shelving location: Depósito 1, Collection: Não Ficção Close shelf browser (Hides shelf browser)

Previous	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available		No cover image available	Next
Previous	QA9.GRI FCT 68492 Lógica moderna, lógica das proposições e dos predicados, tabelas de verdade e axiomatização, fascículo II	QA9.GRI FCT 68493 Lógica moderna, implicações, modalidades lógicas polivalentes, lógica combinatória, ontologia e mereologia de Lesniewski, fascículo III	QA9.HEG FCT 68547 Tabelas e argumentos	QA9.HEG FCT 68548 Dedução no cálculo sentencial	QA9.HEG FCT 68549 Dedução no cálculo de predicados	QA9.LOG FCT 33320 Logic programming	QA10.3.PAP FCT 14481 Cours de calcul booléien appliqué, notions sur les ensembles et les treillis, algèbres booléiennes, algèbre binaire	Next

There are no comments on this title.

to post a comment.