Periódicos correntes

Amazon cover image

Image from Amazon.com

Image from OpenLibrary

See Baker & Taylor

Image from Baker & Taylor

Normal view MARC view ISBD view

Model theory for infinitary logic; logic with countable conjunctions and finite quantifiers/ [By] H. Jerome Keisler.

By:

Keisler, H. Jerome

Series: Studies in logic and the foundations of mathematics ; v. 62.Publication details: Amsterdam ; North-Holland, 1971.Description: x, 208 p.: 23 cmISBN:

0720422582

Subject(s):

DDC classification:

511.3 K27m

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

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Collection	Call number	Copy number	Status	Date due	Barcode
Books	Castorina Estantes Abertas (Open Shelves)	Livros (Books)	511.3 K27m 1971 IMPA (Browse shelf(Opens below))	1	Available		39063000100258

Browsing Castorina shelves, Shelving location: Estantes Abertas (Open Shelves), Collection: Livros (Books) 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		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	511.3 K14l 1964 IMPA Logic; techniques of formal reasoning/	511.3 K21i 1975 IMPA Introduction to the theory of fuzzy subsets: Volume I : Fundamental theoretical elements/	511.3 K26f 1964 IMPA First-order functional calculus/	511.3 K27m 1971 IMPA Model theory for infinitary logic; logic with countable conjunctions and finite quantifiers/	511.3 K61i 1961 IMPA An introduction to algebraic logic/	511.3 K63f 1965 IMPA The foundations of intuitionistic mathematics, especially in relation to recursive functions/	511.3 K63i 1971 IMPA Introduction to metamathematics/	Next

Bibliography: p. 193-203.

There are no comments on this title.

to post a comment.

© 2023 IMPA Library | Customized & Maintained by Sérgio Pilotto

Powered by Koha