Data source

Date

Thumbnail

Search results

3 records were found.

O transatlantismo em mudança

Contém: Language, proof and logic:software manual / Dave Barker... [et al.]. 2nd ed. Standford; CSLI, cop. 2015. VIII, 61 p.
Creator(s): Rato, Vasco
Dates: 1963-01-01/1963-01-01
Data source: Bibliotecas | Instituto Politécnico de Castelo Branco
See details of O transatlantismo em mudança (KOHA-IPCB:99107) More information
See original record of O transatlantismo em mudança (KOHA-IPCB:99107) Original record
Add record KOHA-IPCB:99107 to my list Add to my list

Language proof and logic

Creator(s): Barwise, Jon
Dates: 2003-01-01/2003-01-01
Data source: Bibliotecas | Instituto Politécnico de Castelo Branco
See details of Language proof and logic (KOHA-IPCB:105635) More information
See original record of Language proof and logic (KOHA-IPCB:105635) Original record
Add record KOHA-IPCB:105635 to my list Add to my list

Language, proof and logic

Contém: Language, proof and logic:software manual / Dave Barker... [et al.]. 2nd ed. Standford; CSLI, cop. 2015. VIII, 61 p.
Creator(s): Barker-Plummer, Dave
Dates: 2011-01-01/2011-01-01
Data source: Bibliotecas | Instituto Politécnico de Castelo Branco
See details of Language, proof and logic (KOHA-IPCB:111611) More information
See original record of Language, proof and logic (KOHA-IPCB:111611) Original record
Add record KOHA-IPCB:111611 to my list Add to my list

Contacts

Useful links

Keep Logo
PortugueseEnglish