Simple search
|
Advanced search
|
Archives
See original record
Data source
Bibliotecas | Instituto Politécnico de Castelo Branco
My List
Cuidado autónomo de enfermagem
Alves, Leonel Júlio
Les sciences de l'education
Congresso Internacional de Estudos Pessoanos
[198-?]-
Apresentaçäo de um painel
Lyons, R.E.
1987
Prática financeira
Nabais, Carlos Alberto da Fonseca
,
2004
See more
Add to my list
Search title on
Share this record
Language, proof and logic
Type
MON
Creator
Barker-Plummer, Dave
Publisher
CSLI Publications
Identifier
URN:ISBN:9781575866321
Title
Language, proof and logic
Contributor
Barwise, Jon
Etchemendy, John
Liu, Albert, colaborador
Murray, Michael, colaborador
Pease, Emma, colaborador
Date
cop. 2011
Description
Contém: Language, proof and logic:software manual / Dave Barker... [et al.]. 2nd ed. Standford; CSLI, cop. 2015. VIII, 61 p.
Language
eng
Comments
×
My list
My List
Cuidado autónomo de enfermagem
Alves, Leonel Júlio
Les sciences de l'education
Congresso Internacional de Estudos Pessoanos
[198-?]-
Apresentaçäo de um painel
Lyons, R.E.
1987
Prática financeira
Nabais, Carlos Alberto da Fonseca
,
2004
See more
Add to my list
×
Warning!
It's not possible to add more records to your personal list
Javascript do bootstrap
