Your search returned 4 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
No cover image available No cover image available No cover image available
Decidability and generalized quantifiers/ von Andreas Baudisch ... [et al.]. by
  • Baudisch, Andreas
Series: Mathematical research ; Bd. 3.
Publication details: Berlin: Akademie-Verlag, 1980
Availability: Items available for loan: Castorina (1)Call number: 511.3 D294 1980 IMPA.

Place hold Add to cart
2.
See Baker & Taylor
Decision problems for equational theories of relation algebras/ Hajnal Andréka, Steven Givant, István Németi. by
  • Andréka, H
  • Givant, Steven R
  • Németi, I
Series: Memoirs of the American Mathematical Society ; no.604.
Publication details: Providence, R.I.: American Mathematical Society, c1997
Availability: Items available for loan: Castorina (1).

Place hold Add to cart
3.
See Baker & Taylor
Decidability and Boolean representations/ Stanley Burris and Ralph McKenzie. by
  • Burris, Stanley
  • McKenzie, Ralph N
Series: Memoirs of the American Mathematical Society ; no. 246.
Publication details: Providence, R.I.: American Mathematical Society, 1981
Availability: Items available for loan: Castorina (1).

Place hold Add to cart
4.
See Baker & Taylor
Induction, bounding, weak combinatorial principles, and the homogeneous model theorem / Denis R. Hirschfeldt, Karen Lange, Richard A. Shore. by
  • Hirschfeldt, Denis Roman [author.]
  • Lange, Karen, 1980- [author.]
  • Shore, Richard A, 1946- [author.]
Series: Memoirs of the American Mathematical Society ; no. 1187.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publisher: Providence, Rhode Island : American Mathematical Society, [2017]
Availability: Items available for loan: Castorina (1).

Place hold Add to cart
Pages
© 2023 IMPA Library | Customized & Maintained by Sérgio Pilotto


Powered by Koha