國立虎尾科技大學 |

Language: English

Back

Non-classical logics, model theory, ...

Costa, Newton C. A. da.

Non-classical logics, model theory, and computability = proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976 /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Non-classical logics, model theory, and computability/ edited by A. I. Arruda, N. C. A. da Costa, R. Chuaqui.
Reminder of title:	proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976 /
other author:	Arruda, Ayda I.
corporate name:	Workshop on the Preservation of Stability under Discretization
Published:	Amsterdam ;North-Holland Pub. Co. ; : 1977.,
Description:	xviii, 307 p. :ill. ; : 23 cm.;
Subject:	Nonclassical mathematical logic - Congresses. -
Online resource:	click for full text (2015 TAEBDC PDA eBooks Trial, Trial Period: 2015.6.3-2015.12.31)
ISBN:	9780720407525 (electronic bk.)

Non-classical logics, model theory, and computability = proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976 /
Non-classical logics, model theory, and computabilityproceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976 /[electronic resource] :edited by A. I. Arruda, N. C. A. da Costa, R. Chuaqui. - Amsterdam ;North-Holland Pub. Co. ;1977. - xviii, 307 p. :ill. ;23 cm. - Studies in logic and the foundations of mathematics ;v. 89.

Includes bibliographies.

ISBN: 9780720407525 (electronic bk.)

LCCN: 77007366 Subjects--Topical Terms:

906637
Nonclassical mathematical logic
--Congresses.

LC Class. No.: QA9.4 / .L37 1976

Dewey Class. No.: 511/.8

Non-classical logics, model theory, and computability = proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976 /
LDR:00994cam a2200217 a 45 001 808947
005 20130415141901.0
008 150720s1977 ne a sb 100 0 eng
010 $a 77007366
020 $a 9780720407525 (electronic bk.)
020 $a 9780720407525
035 $a 13002580
040 $a DLC $c DLC $d DLC
041 0 $a eng
050 0 0 $a QA9.4 $b .L37 1976
082 0 0 $a 511/.8
111 2 $a Workshop on the Preservation of Stability under Discretization $d (2001 : $c Fort Collins, Colo.) $3 527686
245 1 0 $a Non-classical logics, model theory, and computability $h [electronic resource] : $b proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976 / $c edited by A. I. Arruda, N. C. A. da Costa, R. Chuaqui.
260 $a Amsterdam ; $a New York : $b North-Holland Pub. Co. ; $a New York : $b sale distributors for the U.S.A. and Canada, Elsevier/North-Holland, $c 1977.
300 $a xviii, 307 p. : $b ill. ; $c 23 cm.
490 0 $a Studies in logic and the foundations of mathematics ; $v v. 89
504 $a Includes bibliographies.
650 0 $a Nonclassical mathematical logic $x Congresses. $3 906637
650 0 $a Model theory $x Congresses. $3 905832
650 0 $a Computable functions $v Congresses. $3 675085
700 1 $a Arruda, Ayda I. $3 906062
700 1 $a Costa, Newton C. A. da. $3 833018
700 1 $a Chuaqui, R. $3 813371
856 4 0 $u http://www.sciencedirect.com/science/book/9780720407525 $z click for full text (2015 TAEBDC PDA eBooks Trial, Trial Period: 2015.6.3-2015.12.31)

based on 0 review(s)

Multimedia

Reviews

Add a review and share your thoughts with other readers

Export

pickup library